Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - 書籍 - Springer-Verlag New York Inc. - 9780387341552 - 2006年7月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

価格
¥ 20.057
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月27日
Chao Wang の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

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

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

Chao Wangのすべてを見る ( 例： Hardcover Book , Paperback Book および Book )