Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - 書籍 - Springer - 9780792378495 - 2000年6月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

価格
¥ 33.581
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月21日
Matt Kaufmann の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

337 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2000年6月30日
ISBN13 9780792378495
出版社 Springer
ページ数 337
寸法 155 × 235 × 20 mm   ·   684 g
言語 英語  
編集者 Kaufmann, Matt
編集者 Manolios, Panagiotis
編集者 Moore, J Strother

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

Matt Kaufmannのすべてを見る ( 例： Paperback Book および Hardcover Book )