Jump to main content
図書

2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011 : Jul 2011, Cambridge, UK.

Icons representing 図書

2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011 : Jul 2011, Cambridge, UK.

Call No. (NDL)
M17-12-1432
Bibliographic ID of National Diet Library
000011305921
Material type
図書
Author
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (9th : 2010 : Cambridge, England)
Publisher
IEEE
Publication date
c2011.
Material Format
Paper
Capacity, size, etc.
viii, 212 p. ; 27 cm.
NDC
-
View All

Notes on use

Note (General):

Papers and an abstract.IEEE cat no CFP11MCD-PRT.

Other physical details:

ill.

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
9781457701177
Publication, Distribution, etc.
Publication Date
c2011.
Publication Date (W3CDTF)
2011
Extent
viii, 212 p.
Other physical details
ill.
Size
27 cm.