![Cover of: Formal methods in computer-aided design: 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings](http://covers.openlibrary.org/b/id/2219650-M.jpg "Cover of: Formal methods in computer-aided design: 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings")
Subjects
Circuit integre numerique, Circuit intégré numérique, Circuits integres, Circuits integres numeriques, Circuits intégrés, Circuits intégrés numériques, Computer-aided design, Conception assistee par ordinateur, Conception assistée par ordinateur, Conception et construction, Congres, Congresses, Congrès, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, Mathematics, Mathematiques, Mathématiques, Methode formelle, Methodes formelles (Informatique), Model-checking (Informatique), Méthode formelle, Méthodes formelles (Informatique)ID Numbers
- OLID: OL1397142A
Links outside Open Library
No links yet. Add one?
| April 1, 2008 | Created by an anonymous user | initial import |