Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science Thomas Kropf

Name: Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science
Price: 8928 JPY
Availability: OutOfStock
Author: Thomas Kropf

価格

¥ 8.928

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月23日 - 年7月3日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Thomas Kropf

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	1997年8月27日
ISBN13	9783540634751
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	388
寸法	155 × 233 × 22 mm · 494 g
言語	ドイツ語
編集者	Kropf, Thomas