MEMOCODE'03 : first ACM and IEEE international conference on formal methods and models for co-design : proceedings : 24-26 June 2003 : Mont Saint-Michel, France. : Jun 2003, Mont-Saint-Michel, France.

• Material Type: 図書
• ISBN: 0769519237
• Title: MEMOCODE'03 : first ACM and IEEE international conference on formal methods and models for co-design : proceedings : 24-26 June 2003 : Mont Saint-Michel, France. : Jun 2003, Mont-Saint-Michel, France.
• Author Heading: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (1st : 2003 : Le Mont-Saint-Michel, France)
• Publication, Distribution, etc.: Los Alamitos : IEEE Computer Society
• Publication Date: c2003.
• Publication Date (W3CDTF): 2003
• Extent: x, 285 p. : ill. ; 28 cm.
• Alternative Title: MEMOCODE'03 : 1st ACM and IEEE international conference on formal methods and models for co-design : proceedings : 24-26 June 2003 : Mont Saint-Michel, France; First ACM & IEEE international conference on formal methods and models for co-design
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: Computer simulation. -- Congresses.
• NDLC: M17
• Note (General): Papers.; IEEE cat no PR01923.
• Note (Bibliography): Includes bibliographic references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-04-1494
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000004334137; http://id.ndl.go.jp/bib/000004334137
• RLIN No.: MOHG52852061-B
• Bibliographic Record Category (NDL): 215