Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France
sponsored by IEEE Computer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation
IEEE Computer Society, c2003
"IEEE Computer Society order number: PRO1923" -- T. p. verso
Includes bibliographical references and index
内容説明
「Nielsen BookData」 より