Proceedings Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05 : July 11-14, 2005, Verona, Italy /

Bibliographic Details
Corporate Authors: ACM and IEEE International Conference on Formal Methods and Models for Co-Design Verona, Italy, ACM Special Interest Group on Design Automation, IEEE Circuits and Systems Society, IEEE Computer Society Design Automation Technical Committee
Format: Electronic Conference Proceeding Book
Language:English
Published: Piscataway, N.J. : IEEE, c2005
Subjects:

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE