Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science - Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) - 書籍 - MIT Press Ltd - 9780262035538 - 2017年5月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science

価格
¥ 9.409
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月1日 - 年9月28日
Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

A textbook that teaches students to read and write proofs using Athena.

976 pages, 28 b&w illus.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2017年5月5日
ISBN13 9780262035538
出版社 MIT Press Ltd
ページ数 976
寸法 284 × 213 × 40 mm   ·   1,68 kg

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

Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)のすべてを見る ( 例： Hardcover Book )