インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
Type-driven Development with Idris
価格: ¥6,121
カテゴリ:
ペーパーバック
ブランド:
Manning Publications
Amazon.co.jpで確認
関連商品
テスト駆動開発
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化