Povej prijatelju o tem izdelku:
A Roadmap for Formal Property Verification Pallab Dasgupta Softcover reprint of hardcover 1st ed. 2006 edition
Cena
€ 96,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 2. - 10. nov
Prejemajte obvestila o novih izdajah izvajalca Pallab Dasgupta
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 19. oktobra 2010 |
| ISBN13 | 9789048171859 |
| Založniki | Springer |
| Strani | 252 |
| Dimenzije | 160 × 240 × 14 mm · 381 g |
| Jezik | Angleščina |
![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)
![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)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
