Fortæl dine venner om denne vare:
A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition
Pallab Dasgupta
Pris
zł 493,90
Bestilles fra fjernlager
Forventes klar til forsendelse 15. - 21. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
A Roadmap for Formal Property Verification Softcover reprint of hardcover 1st ed. 2006 edition
Pallab Dasgupta
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 19. oktober 2010 |
| ISBN13 | 9789048171859 |
| Forlag | Springer |
| Antal sider | 252 |
| Mål | 160 × 240 × 14 mm · 381 g |
| Sprog | Engelsk |
Vis alle
Mere med Pallab Dasgupta
![Cover for Pallab Dasgupta · Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization (Paperback Bog) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/084/9783528057084.jpg?pallab-dasgupta-1999-multiobjective-heuristic-search-an-introduction-to-intelligent-search-methods-for-multicriteria-optimization-paperback-bog&class=scaled&v=1509304281)
Se alt med Pallab Dasgupta ( f.eks. Hardcover bog og Paperback Bog )