2 options
Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on : date, 26-28 July 2010.
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 (8th : 2010 : Grenoble, France)
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource : illustrations (some color)
- Other Title:
- Available from some providers with title: 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)
- MEMOCODE 2010
- Place of Publication:
- Piscataway, N.J. : IEEE, [2010]
- System Details:
- text file
- Notes:
- Title from HTML contents p. (IEEE Xplore, viewed on Apr. 6, 2011).
- Includes bibliographical references and author index.
- OCLC:
- 711701113
- 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.