Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing - Wolfgang Kunz - 書籍 - Springer - 9780792399216 - 1997年6月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing 1997 edition

価格
¥ 30.307
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月12日 - 年8月28日
Wolfgang Kunz の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits.


230 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1997年6月30日
ISBN13 9780792399216
出版社 Springer
ページ数 230
寸法 156 × 234 × 15 mm   ·   526 g
言語 英語  

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