Explore: Abstrakte Interpretation
Discover books, insights, and more — all in one place.
Learn more about Abstrakte Interpretation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “abstrakte-interpretation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verification, model checking, and abstract interpretation
By VMCAI 2004 (2004 Venice, Italy)
“Verification, model checking, and abstract interpretation” Metadata:
- Title: ➤ Verification, model checking, and abstract interpretation
- Author: ➤ VMCAI 2004 (2004 Venice, Italy)
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Verification, model checking, and abstract interpretation” Subjects and Themes:
- Subjects: ➤ Computer programs - Congresses - Verification - Logiciels - Congrès - Vérification - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing - Abstrakte Interpretation - Formale Methode - Kongress - Model Checking - Programmanalyse - Programmverifikation - Vérification de logiciels - Model-checking (Informatique) - Méthode formelle
Edition Identifiers:
- The Open Library ID: OL18209567M - OL3303006M
- Online Computer Library Center (OCLC) ID: 54400193
- Library of Congress Control Number (LCCN): 2004043677
- All ISBNs: 9783540208037 - 3540208038
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 Verification, model checking, and abstract interpretation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.