新入荷
再入荷
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 2004, Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C., eBook - Amazon.com
4.8
（9件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：20932172935
中古 ：20932172935-1 |
メーカー | a2125195 | 発売日 | 2025-04-01 02:09 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 2004, Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C., eBook - Amazon.com
,The Art Of Computer Programming - A Great Present,Practical Program Evaluation: Theory-Driven Evaluation and the Integrated Evaluation Perspective: Chen, Huey T. (Tsyh): 9781412992305: Amazon.com: ,Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 2004, Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C., eBook - Amazon.com,Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
The Art Of Computer Programming - A Great Present,Practical Program Evaluation: Theory-Driven Evaluation and the Integrated Evaluation Perspective: Chen, Huey T. (Tsyh): 9781412992305: Amazon.com: ,Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 2004, Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C., eBook - Amazon.com,Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
洋書の作品リスト
![洋書 [A12301405]Grammar in Context 5/e Basic : Student Book (320 pp)](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img782x1000-1717068515mncyxa26468.jpg)
![[A11485748]Statistical Physics: Experiments， Theories， and Computer Simulat](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img372x500-17036927532hdprq302302.jpg)
![[A12279272]Olive Production Manual [ペーパーバック] Sibbett， G. Steven; Ferguson，](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img385x500-1716092746rbdzc471476.jpg)
![洋書 [A11424843]Introduction to Higher-Order Categorical Logic (Cambridge Studie](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0411/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img333x500-1700317897miudv7727851.jpg)
レディースの製品
