Research Catalog

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France / sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS.

Title
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE'03 : proceedings : 24-26 June 2003, Mont Saint-Michel, France / sponsored by IEEE Cpmputer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation ; in cooperation with INRIA ; with financial support from IRISA, CNRS.
Author
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (1st : 2003 : Le Mont-Saint-Michel, France)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.C65 A28 2003gOff-site

Details

Additional Authors
  • ACM Special Interest Group on Design Automation.
  • IEEE Circuits and Systems Society.
  • IEEE Computer Society. Design Automation Technical Committee.
Description
285 p. : ill. (some col.); 27 cm.
Alternative Title
MEMOCODE'03
Subject
ISBN
0769519237
Owning Institutions
Columbia University Libraries