Symbolic Simulation Methods for Industrial Formal Verification - Robert B. Jones - 書籍 - Springer-Verlag New York Inc. - 9781461353959 - 2012年10月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Robert B. Jones
Symbolic Simulation Methods for Industrial Formal Verification Softcover reprint of the original 1st ed. 2002 edition

価格
¥ 20.098
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

151 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年10月23日
発売日 2002
ISBN13 9781461353959
出版社 Springer-Verlag New York Inc.
ページ数 151
寸法 155 × 235 × 9 mm   ·   249 g
言語 英語  

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

Robert B. Jonesのすべてを見る ( 例： Hardcover Book および Paperback Book )