Scalable Techniques for Formal Verification - Info and Reading Options
By Sandip Ray
"Scalable Techniques for Formal Verification" was published by Springer in 2010 - Boston, MA and it has 240 pages.
“Scalable Techniques for Formal Verification” Metadata:
- Title: ➤ Scalable Techniques for Formal Verification
- Author: Sandip Ray
- Number of Pages: 240
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Boston, MA
- Library of Congress Classification: QA76.76.V47 R39 2010TA1-2040
“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 Identifiers:
- The Open Library ID: OL26132858M - OL17542939W
- Library of Congress Control Number (LCCN): 2010927798
- ISBN-13: 9781441959973 - 9781441959980
- All ISBNs: 9781441959973 - 9781441959980
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.