Recomienda este artículo a tus amigos:
A Roadmap for Formal Property Verification Pallab Dasgupta Softcover reprint of hardcover 1st ed. 2006 edition
Precio
$ 106,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 2 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
A Roadmap for Formal Property Verification
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de octubre de 2010 |
| ISBN13 | 9789048171859 |
| Editores | Springer |
| Páginas | 252 |
| Dimensiones | 160 × 240 × 14 mm · 381 g |
| Lengua | Inglés |
Mas por Pallab Dasgupta
Mostrar todo![Cover for Pallab Dasgupta · Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization (Paperback Book) [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-book&class=scaled&v=1509304281)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Ver todo de Pallab Dasgupta ( Ej. Paperback Book y Hardcover Book )