It looks like you're offline.
Donate
♥
English (en)
العربية (ar)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
Filipino (tl)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited anonymously
April 1, 2008 |
History
Edit
FMCAD 2004 (2004 Austin, Texas)
1 work
Add another?
Details
Grid
— Show
only ebooks
?
Preview
Preview Book
×
Close
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)
First published in 2004
1 edition
,
1 ebook
Preview Only
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
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)
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL1397142A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON
![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")
