2 options
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Ore.)
- Language:
- Undetermined
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Computer-aided design.
- Computer simulation.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource
- Other Title:
- Available from some providers with title: Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
- 2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)
- 2013 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign
- MEMOCODE 2013
- 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign
- Place of Publication:
- Piscataway, NJ : IEEE, [2013]
- System Details:
- text file
- Notes:
- "IEEE Catalog Number: CFP13MCD-PRT."
- Includes bibliographical references and author index.
- Description based on online resource; title from PDF front matter (IEEE Xplore, viewed Feb. 19, 2015).
- ISBN:
- 9781479909056
- 147990905X
- OCLC:
- 868203792
- 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.