An edition of Formal methods in computer-aided design
(2004)
Formal methods in computer-aided design
5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
by FMCAD 2004 (2004 Austin, Texas)
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer-aided design, Congresses, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, Mathematics, Verification, Circuit integre numerique, Conception et construction, Methode formelle, Conception assistee par ordinateur, Congres, Mathematiques, Circuits integres numeriques, Model-checking (Informatique), Methodes formelles (Informatique), Circuits integres, Software engineeringShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Formal methods in computer-aided design: 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
2004, Springer
in English
3540237380 9783540237389
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Also issued online.
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
| February 25, 2022 | Edited by ImportBot | import existing book |
| August 8, 2018 | Edited by ImportBot | import new book |
| December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |