Third ACM & IEEE international conference on formal methods and models for co-design : MEMOCODE'05 : proceedings : July 11-14, 2005 : Verona, Italy. : Jul 2005, Verona, Italy.

Author: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (3rd : 2005 : Verona, Italy)

Notes on use

Search by Bookstore

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

Material Type: 図書
ISBN: 0780392272
Title: Third ACM & IEEE international conference on formal methods and models for co-design : MEMOCODE'05 : proceedings : July 11-14, 2005 : Verona, Italy. : Jul 2005, Verona, Italy.
Author Heading: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (3rd : 2005 : Verona, Italy)
Publication, Distribution, etc.: Piscataway : IEEE
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: viii, 262 p. : ill. ; 28 cm.
Alternative Title: 3rd ACM and IEEE international conference on formal methods and models for co-design : MEMOCODE'05 : proceedings : July 11-14, 2005 : Verona, Italy
MEMOCODE 2005
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer simulation -- Congresses.
LCC: QA76.9.C65
NDLC: M17
Note (General): Papers and an abstract.
IEEE cat no 05EX1093.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-06-272
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008034879
http://id.ndl.go.jp/bib/000008034879
LC Control Number: 2005925904
https://lccn.loc.gov/2005925904
RLIN No.: CSUGA5994672-B
Bibliographic Record Category (NDL): 215