Explore: Formal Methods
Discover books, insights, and more — all in one place.
Learn more about Formal Methods with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formal-methods”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The Seventeen Provers of the World
By Freek Wiedijk
“The Seventeen Provers of the World” Metadata:
- Title: ➤ The Seventeen Provers of the World
- Author: Freek Wiedijk
- Language: English
- Number of Pages: Median: 158
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2008
- Publish Location: Berlin - New York
“The Seventeen Provers of the World” Subjects and Themes:
- Subjects: ➤ Algebra - Proof theory - Data processing - Computer programs - Mathematics - Computers - Computers - General Information - Computer Books: Languages - Logic - Artificial Intelligence - General - Programming - Software Development - Computers / Artificial Intelligence - computer algebra systems - formal methods - formal reasoning systems - formal verification - formalization - mathematical formalizations - mathematical proof assistants - provers
Edition Identifiers:
- The Open Library ID: OL9056150M - OL17726079M - OL37385072M - OL27947496M
- Library of Congress Control Number (LCCN): 2005939043
- All ISBNs: ➤ 3540307044 - 9783540818434 - 354081843X - 9783540307044 - 3540328882 - 9783540328889
Access and General Info:
- First Year Published: 2006
- 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 The Seventeen Provers of the World at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Delay Insensitive Circuits
Structures, Semantics, and Strageties
By Dennis Furey
“Delay Insensitive Circuits” Metadata:
- Title: Delay Insensitive Circuits
- Author: Dennis Furey
- Language: English
- Number of Pages: Median: 652
- Publisher: Plumstead Publishing House
- Publish Date: 2019
- Publish Location: London, UK
“Delay Insensitive Circuits” Subjects and Themes:
- Subjects: asynchronous circuts - electronics - engineering - formal methods - computer science
Edition Identifiers:
- The Open Library ID: OL38001451M - OL27737897M
- All ISBNs: 1916168108 - 9781916168121 - 1916168124 - 9781916168107
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Delay Insensitive Circuits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Verification, Model Checking, and Abstract Interpretation
By Kedar S. Namjoshi and Andreas Podelski
“Verification, Model Checking, and Abstract Interpretation” Metadata:
- Title: ➤ Verification, Model Checking, and Abstract Interpretation
- Authors: Kedar S. NamjoshiAndreas Podelski
- Language: English
- Number of Pages: Median: 395
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2005 - 2007
“Verification, Model Checking, and Abstract Interpretation” Subjects and Themes:
- Subjects: ➤ Computer Programming - Computers - Computers - General Information - Computer Books: General - Logic Design - Programming - Software Development - Programming Languages - General - Computers / Logic Design - abstarct interpretation - abstract domains - abstraction - debugging techniques - deductive methods - formal methods - formal verification - higher-order languages - model checking - optimization - Computer Science - Operating Systems - General - Computer programs - Congresses - Verification
Edition Identifiers:
- The Open Library ID: OL37122047M - OL37121754M - OL12810226M
- Online Computer Library Center (OCLC) ID: 78203757
- Library of Congress Control Number (LCCN): 2006939351
- All ISBNs: ➤ 9783540697350 - 9783540316220 - 3540697357 - 3540697381 - 3540316221 - 9783540697381
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Verification, Model Checking, and Abstract Interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.