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

著者

• ACM & IEEE International Conference on Formal Methods and Models for Co-Design
• IEEE Computer Society. Design Automation Technical Committee
• IEEE Circuits and Systems Society
• ACM Special Interest Group on Design Automation

書誌事項

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

内容説明・目次

内容説明

These are the proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEOMCODE 2003)

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA70109835
• ISBN:
  • 0769519237
• LCCN: 2003102535
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: x, 285 p.
• 大きさ: 28 cm