Practical Formal Methods for Hardware Design - Research Reports Esprit; Project 6128: Format - C Delgado Kloos - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540620075 - 1997年5月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

C Delgado Kloos
Practical Formal Methods for Hardware Design - Research Reports Esprit; Project 6128: Format Softcover Reprint of the Original 1st Ed. 1997 edition

価格
¥ 10.734
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月10日 - 年8月26日
C Delgado Kloos の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.

308 pages, 40 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1997年5月28日
ISBN13 9783540620075
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 308
寸法 156 × 234 × 16 mm   ·   435 g
言語 ドイツ語  
編集者 Damm, Werner
編集者 Delgado Kloos, Carlos

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

C Delgado Kloosのすべてを見る ( 例： Paperback Book )