A Roadmap for Formal Property Verification - Pallab Dasgupta - Books - Springer - 9789048171859 - October 19, 2010
In case cover and title do not match, the title is correct

A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition

Pallab Dasgupta

Price
A$ 165.49
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 25 - Sep 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition

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.

252 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 19, 2010
ISBN13 9789048171859
Publishers Springer
Pages 252
Dimensions 160 × 240 × 14 mm   ·   381 g
Language English  
Show all

More by Pallab Dasgupta

See all of Pallab Dasgupta ( e.g. Hardcover Book and Paperback Book )