A Roadmap for Formal Property Verification - Pallab Dasgupta - Books - Springer-Verlag New York Inc. - 9781402047572 - July 5, 2006
In case cover and title do not match, the title is correct

Pallab Dasgupta
A Roadmap for Formal Property Verification 2006 edition

Price
Íkr 15,129
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 15 - 29

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:

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     Hardcover Book   (Book with hard spine and cover)
Released July 5, 2006
ISBN13 9781402047572
Publishers Springer-Verlag New York Inc.
Pages 252
Dimensions 155 × 235 × 15 mm   ·   621 g

Mere med samme udgiver

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