2 options
2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE '05, July 11-14, 2005, Verona, Italy / sponsored by ACM Special Interest group on Design Automation, IEEE Circuits and Systems Society, IEEE Computer Society DATC.
- Format:
- Book
- Conference/Event
- Conference Name:
- ACM and IEEE International Conference on Formal Methods and Models for Co-Design (3rd : 2005 : Verona, Italy)
- Language:
- English
- Subjects (All):
- Computer simulation--Congresses.
- Computer simulation.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 262 pages : illustrations
- Other Title:
- MEMOCODE '05
- Formal Methods and Models for Co-Design, 2005, MEMOCODE '05, proceedings, third ACM and IEEE International Conference on.
- Place of Publication:
- New York City, NY : IEEE, 2005.
- System Details:
- Mode of access: World Wide Web.
- text file
- ISBN:
- 0780392272
- 9780780392274
- OCLC:
- 71173539
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.