Certified Programming with Dependent Types - Adam Chlipala - 書籍 - MIT Press - 9780262545747 - 2022年6月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Adam Chlipala
Certified Programming with Dependent Types

価格
¥ 10.450
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月27日 - 年8月6日
Adam Chlipala の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

メディア 書籍     Book
リリース済み 2022年6月7日
ISBN13 9780262545747
出版社 MIT Press
ページ数 436
寸法 150 × 220 × 20 mm   ·   680 g
言語 英語  

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

Adam Chlipalaのすべてを見る ( 例： Book )