Roadmap for Formal Property Verification

Name: Roadmap for Formal Property Verification
Brand: Springer
SKU: 9789048171859
Price: 2286 CZK
Availability: InStock

Autor: Pallab Dasgupta

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

Integrating formal property verification (FPV) into an existing design process raises several intere...

Informace o knize

Autor

Pallab Dasgupta

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2010

Stránek

252

EAN

9789048171859

ISBN

9048171857

Enbook ID

01975380

Vydavatel

Springer

Hmotnost

434

Rozměry

160 x 240 x 15

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Roadmap for Formal Property Verification

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také