Finding Your Way Through Formal Verification

by Bernard Murphy, Manish pandey, Sean Safarpour

There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose;... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 198627411X
• ISBN13: 9781986274111
• Release Date: March 2018
• Publisher: Createspace Independent Publishing Platform
• Length: 134 Pages
• Weight: 0.57 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"