Jump to main content
図書

2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.

Icons representing 図書

2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.

Call No. (NDL)
M17-17-913
Bibliographic ID of National Diet Library
027599108
Material type
図書
Author
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (13th : 2015 : Austin, Tex.)
Publisher
IEEE
Publication date
[2015]
Material Format
Paper
Capacity, size, etc.
257 pages ; 28 cm
NDC
-
View All

Notes on use

Note (General):

Abstracts and papers.IEEE catalog number CFP15MCD-POD.

Other physical details:

illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
9781467376686
Publication, Distribution, etc.
Publication Date
[2015]
Publication Date (W3CDTF)
2015
Extent
257 pages
Other physical details
illustrations
Size
28 cm