Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 30, 2022 | Edited by MARC Bot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
December 8, 2020 | Edited by MARC Bot | import existing book |
June 30, 2019 | Edited by MARC Bot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |