Scalable Techniques for Formal Verification - Info and Reading Options
By Sandip Ray
"Scalable Techniques for Formal Verification" is published by Springer in Oct 19, 2014 and it has 257 pages.
“Scalable Techniques for Formal Verification” Metadata:
- Title: ➤ Scalable Techniques for Formal Verification
- Author: Sandip Ray
- Number of Pages: 257
- Publisher: Springer
- Publish Date: Oct 19, 2014
“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: OL28129563M - OL17542939W
- ISBN-13: 9781489984449
- ISBN-10: 1489984445
- All ISBNs: 1489984445 - 9781489984449
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.