1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Computer engineering, Computer-aided design, Congresses, Data processing, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, VerificationID Numbers
- OLID: OL239055A
Links (outside Open Library)
No links yet. Add one?
April 1, 2008 | Created by an anonymous user | initial import |