Formal Verification of Circuits - Rolf Drechsler - 書籍 - Springer-Verlag New York Inc. - 9781441949851 - 2010年12月2日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Rolf Drechsler
Formal Verification of Circuits 1st Ed. Softcover of Orig. Ed. 2000 edition

価格
¥ 28.369
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月29日 - 年10月15日
Rolf Drechsler の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This text is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Different types of decision diagrams are introduced and theoretical properties are discussed that give further insight into the data structure, then implementation andminimization concepts are presented.

192 pages, 5 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月2日
ISBN13 9781441949851
出版社 Springer-Verlag New York Inc.
ページ数 179
寸法 156 × 234 × 10 mm   ·   276 g
言語 英語  

Rolf Drechslerの他の作品を見る

すべて表示

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

Rolf Drechslerのすべてを見る