この商品を友人に教える:
A Roadmap for Formal Property Verification Pallab Dasgupta Softcover reprint of hardcover 1st ed. 2006 edition
価格
¥ 17.136
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月16日 - 年9月28日
Pallab Dasgupta の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
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
![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] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
