MRP: ₹14255
₹11716
₹ 2539 Off
(Incl. of all taxes)
Qty
Buying in bulk?
In stock
Deliver to
- 7-day returns
- Secure payment
- International shipping
- Carefully packed
Get this at ₹ 11130Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 10544Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
Integrating formal property verification (FPV) into an existing design process
raises several interesting questions. This book develops the answers to these
questions and fits them into a roadmap for formal property verification a
roadmap that shows how to glue FPV technology into the traditional validation
flow. The book explores the key issues in this powerful technology through
simple examples that mostly require no background on formal methods.
- ISBN-13
- 9781402047572
- Language
- English
- Binding
- Hard Bound
- Publisher
- Springer
- Publishing Date
- 2006-07-05
- Product Edition
- 1st
A Roadmap For Formal Property Verification
Frequently bought together
Total for 3 items₹11842₹14395You save ₹2553
Product Specifications
Book Summary
Integrating formal property verification (FPV) into an existing design process
raises several interesting questions. This book develops the answers to these
questions and fits them into a roadmap for formal property verification a
roadmap that shows how to glue FPV technology into the traditional validation
flow. The book explores the key issues in this powerful technology through
simple examples that mostly require no background on formal methods.
Book Specifications
- ISBN-13
- 9781402047572
- Language
- English
- Binding
- Hard Bound
- Publisher
- Springer
- Publishing Date
- 2006-07-05
- Product Edition
- 1st