1 option
2010 Formal Methods in Computer-Aided Design
- Format:
- Book
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Digital integrated circuits--Computer-aided design--Congresses.
- Digital integrated circuits.
- Physical Description:
- 1 online resource (vii, 279 pages) : illustrations
- Place of Publication:
- [Place of publication not identified] IEEE 2010
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 9780983567806
- 0983567808
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.