David L. Dill
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation David L. Dill

Name: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation
Price: 5439 JPY
Availability: OutOfStock
Author: David L. Dill

価格

¥ 5.439

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

David L. Dill の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.

181 pages, Ill.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2003年3月17日
ISBN13	9780262541572
出版社	MIT Press Ltd
ページ数	181
寸法	216 × 279 × 25 mm · 430 g
言語	英語