A Roadmap for Formal Property Verification - Pallab Dasgupta - 書籍 - Springer-Verlag New York Inc. - 9781402047572 - 2006年7月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Pallab Dasgupta
A Roadmap for Formal Property Verification 2006 edition

価格
¥ 19.163
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月6日 - 年10月22日
Pallab Dasgupta の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2006年7月5日
ISBN13 9781402047572
出版社 Springer-Verlag New York Inc.
ページ数 252
寸法 155 × 235 × 15 mm   ·   621 g
言語 英語  

同じ出版社からのその他の記事

Pallab Dasguptaのすべてを見る