Explore: Circuit Integre Numerique
Discover books, insights, and more — all in one place.
Learn more about Circuit Integre Numerique with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “circuit-integre-numerique”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal methods in computer-aided design
By FMCAD 2004 (2004 Austin, Texas)
“Formal methods in computer-aided design” Metadata:
- Title: ➤ Formal methods in computer-aided design
- Author: ➤ FMCAD 2004 (2004 Austin, Texas)
- Language: English
- Number of Pages: Median: 444
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin
“Formal methods in computer-aided design” Subjects and Themes:
- 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 engineering - Circuits intégrés numériques - Conception assistée par ordinateur - Congrès - Circuits intégrés - Vérification - Méthodes formelles (Informatique) - Mathématiques - Méthode formelle - Circuit intégré numérique
Edition Identifiers:
- The Open Library ID: OL3316734M
- Online Computer Library Center (OCLC) ID: 57066779
- Library of Congress Control Number (LCCN): 2004115344
- All ISBNs: 9783540237389 - 3540237380
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods in computer-aided design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.