Type Theory and Formal Proof: An Introduction の感想
参照データ
| タイトル | Type Theory and Formal Proof: An Introduction |
| 発売日 | 販売日未定 |
| 製作者 | Professor Rob Nederpelt |
| 販売元 | Cambridge University Press |
| JANｺｰﾄﾞ | 9781107036505 |
| カテゴリ | » 洋書 » Special Features » all foreign books |
あなたの感想と評価
関連商品の価格と中古
Type Theory and Formal Proof: An Introduction
