本
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
発売日発売中
- 著者
- Adam Chlipala
- 出版社
- The MIT Press
- 形式
- ハードカバー
- 在庫状況
- 在庫あり
- 新刊発見日
- 2013年10月24日
- 最終更新
- 2013年12月20日 22:39
- 価格確認日時
- 2013年12月20日 22:39
- ISBN/EAN
- 9780262026659
- 価格
- ¥5,511
