Computer Aided Verification - Info and Reading Options
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
By Thomas Ball and Jones, Robert B.
"Computer Aided Verification" is published by Springer in September 25, 2006, it has 564 pages and the language of the book is English.
“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Authors: Thomas BallJones, Robert B.
- Language: English
- Number of Pages: 564
- Publisher: Springer
- Publish Date: September 25, 2006
“Computer Aided Verification” Subjects and Themes:
- Subjects: ➤ Circuits intégrés - Congrès - Vérification - Congresses - Verification - Logiciels - Integrated circuits - Computer software - Computer software, verification
Edition Specifications:
- Format: Paperback
- Weight: 1.8 pounds
- Dimensions: 9 x 6.1 x 1.3 inches
Edition Identifiers:
- The Open Library ID: OL9056780M - OL16931707W
- Online Computer Library Center (OCLC) ID: 71247056
- Library of Congress Control Number (LCCN): 2006930415
- ISBN-13: 9783540374060
- ISBN-10: 354037406X
- All ISBNs: 354037406X - 9783540374060
AI-generated Review of “Computer Aided Verification”:
Read “Computer Aided Verification”:
Read “Computer Aided Verification” by choosing from the options below.
Search for “Computer Aided Verification” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Computer Aided Verification” in Libraries Near You:
Read or borrow “Computer Aided Verification” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Computer Aided Verification” at a library near you.
Buy “Computer Aided Verification” online:
Shop for “Computer Aided Verification” on popular online marketplaces.
- Ebay: New and used books.