1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Circuit integre numerique, Circuits integres, Circuits integres numeriques, Computer-aided design, Conception assistee par ordinateur, Conception et construction, Congres, Congresses, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, Mathematics, Mathematiques, Methode formelle, Methodes formelles (Informatique), Model-checking (Informatique), Software engineering, VerificationID Numbers
- OLID: OL1397142A
Links (outside Open Library)
No links yet. Add one?
April 1, 2008 | Created by an anonymous user | initial import |