1 option
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
- Format:
- Book
- Conference/Event
- Author/Creator:
- FMCAD 2008, Corporate Author.
- Conference Name:
- FMCAD 2008 (2008 : Portland, Or.)
- FMCAD 2008
- Language:
- English
- Subjects (All):
- Digital integrated circuits--Computer-aided design--Congresses.
- Digital integrated circuits.
- Integrated circuits--Verification--Congresses.
- Integrated circuits.
- Formal methods (Computer science)--Mathematics--Design and construction--Congresses.
- Formal methods (Computer science).
- Digital integrated circuits--Congresses.
- Place of Publication:
- [Place of publication not identified] IEEE 2008
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 9781509078752
- 1509078754
- 9781424427369
- 1424427363
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.