Scalable Techniques for Formal Verification - Info and Reading Options
By Sandip Ray
"Scalable Techniques for Formal Verification" was published by Springer in 2010 and the language of the book is English.
“Scalable Techniques for Formal Verification” Metadata:
- Title: ➤ Scalable Techniques for Formal Verification
- Author: Sandip Ray
- Language: English
- Publisher: Springer
- Publish Date: 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:
- Pagination: xiv, 243
Edition Identifiers:
- The Open Library ID: OL37119670M - OL17542939W
- ISBN-13: 9781441959980
- All ISBNs: 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.