Roadmap for Formal Property Verification

Name: Roadmap for Formal Property Verification
Brand: Springer
SKU: 9789048171859
Price: 38334 HUF
Availability: InStock

Szerző: Pallab Dasgupta

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 334 Ft

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

Információk a könyvről

Szerző

Pallab Dasgupta

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

252

EAN

9789048171859

ISBN

9048171857

Enbook ID

01975380

Kiadó

Springer

Súly

434

Méretek

160 x 240 x 15

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Roadmap for Formal Property Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták