Scalable Techniques for Formal Verification - Info and Reading Options
By Sandip Ray
"Scalable Techniques for Formal Verification" was published by Springer in Aug 12, 2010 and it has 260 pages.
“Scalable Techniques for Formal Verification” Metadata:
- Title: ➤ Scalable Techniques for Formal Verification
- Author: Sandip Ray
- Number of Pages: 260
- Publisher: Springer
- Publish Date: Aug 12, 2010
“Scalable Techniques for Formal Verification” Subjects and Themes:
- Subjects: ➤ Systems engineering - Engineering - Computer-aided design - Computer systems - Formal methods (Computer science) - Verification - Automatic theorem proving - System design - Electronic systems
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL28124999M - OL17542939W
- ISBN-13: 9781441960061
- ISBN-10: 1441960066
- All ISBNs: 1441960066 - 9781441960061
AI-generated Review of “Scalable Techniques for Formal Verification”:
Read “Scalable Techniques for Formal Verification”:
Read “Scalable Techniques for Formal Verification” by choosing from the options below.
Search for “Scalable Techniques for Formal Verification” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Scalable Techniques for Formal Verification” in Libraries Near You:
Read or borrow “Scalable Techniques for Formal Verification” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Scalable Techniques for Formal Verification” at a library near you.
Buy “Scalable Techniques for Formal Verification” online:
Shop for “Scalable Techniques for Formal Verification” on popular online marketplaces.
- Ebay: New and used books.