Verification, model checking, and abstract interpretation - Info and Reading Options
5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 ; proceedings
By VMCAI 2004 (2004 Venice, Italy)
"Verification, model checking, and abstract interpretation" was published by Springer in 2004 - Berlin, it has 324 pages and the language of the book is English.
“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: 324
- Publisher: Springer
- Publish Date: 2004
- Publish Location: 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 Specifications:
- Pagination: xi, 324 p. :
Edition Identifiers:
- The Open Library ID: OL18209567M - OL5726648W
- Online Computer Library Center (OCLC) ID: 54400193
- Library of Congress Control Number (LCCN): 2004043677
- ISBN-10: 3540208038
- All ISBNs: 3540208038
AI-generated Review of “Verification, model checking, and abstract interpretation”:
Read “Verification, model checking, and abstract interpretation”:
Read “Verification, model checking, and abstract interpretation” by choosing from the options below.
Search for “Verification, model checking, and abstract interpretation” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Verification, model checking, and abstract interpretation" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: restricted
- Check if available: The Open Library & The Internet Archive
Find “Verification, model checking, and abstract interpretation” in Libraries Near You:
Read or borrow “Verification, model checking, and abstract interpretation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification, model checking, and abstract interpretation” at a library near you.
Buy “Verification, model checking, and abstract interpretation” online:
Shop for “Verification, model checking, and abstract interpretation” on popular online marketplaces.
- Ebay: New and used books.