2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA. CFP12MCD-PRT

2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA.

Call No. (NDL): M17-13-2701
Bibliographic ID of National Diet Library: 024308452

Material type: 図書

Author: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012 : Arlington, VA)

Publisher: IEEE

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: viii, 130 p. ; 28 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.IEEE cat no CFP12MCD-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: 9781467313148 (print)
Title: 2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA.
Author Heading: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012 : Arlington, VA)
Publication, Distribution, etc.: Piscataway : IEEE
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: viii, 130 p.
Other physical details: ill.
Size: 28 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer simulation--Congresses.
Computer-aided design--Congresses.
Formal methods (Computer science)--Congresses.
LCC: QA76.9.C65
NDLC: M17
Target Audience: 一般
Note (General): Papers.
IEEE cat no CFP12MCD-PRT.
Note (Bibliography): Includes bibliographic references.
Report No.: CFP12MCD-PRT
Holding library: 国立国会図書館
Call No.: M17-13-2701
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024308452
http://id.ndl.go.jp/bib/024308452
OCLC No.: 835565306
https://www.worldcat.org/oclc/835565306
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215