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

Author(s)

• 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

Bibliographic Information

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

Note

"IEEE Computer Society order number: PRO1923" -- T. p. verso

Includes bibliographical references and index

Details

• NCID: BA70109835
• ISBN:
  • 0769519237
• LCCN: 2003102535
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: x, 285 p.
• Size: 28 cm