新入荷
再入荷
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
4.8
（10件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：23953273440
中古 ：23953273440-1 |
メーカー | faafee7d1 | 発売日 | 2025-05-06 11:43 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS ,Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Taylor J. Smith - Theory of Computing: An Open Introduction,Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Integration of One-forms on P-adic Analytic Spaces | Princeton University Press,
洋書の作品リスト
![洋書 [A12303986]Reading Readiness: Kindergarten (Jumpstart)](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0506/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img913x1200-1717684515ut5tuo180137.jpg)
![[A12233049]Upstream Advanced C1 Student's Book [ペーパーバック] Evans， Virginia; E](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img349x500-1715222023z94idl523170.jpg)
![洋書 [A12301844]Early Start Denver Model for Young Children with Autism: Promoti](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img831x1200-1717150917str9mk50340.jpg)
![洋書 [A12301609]Reading Connections 2: From Academic Success to Everyday Fluency](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img957x1200-1717064481m4ilos845.jpg)
![洋書 [A12063809]OET Medicine: Official OET Practice Book 1 Cambridge Boxhill Lan](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img386x500-1703701413p2wngf94461.jpg)
![洋書 [AF22091303SP-1786]xUnit Test Patterns: Refactoring Test Code (Addison Wesl](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img349x500-1707759343lavv9h394206.jpg)
![洋書 [A12276968]Dynamics of Bubbles Drops and Rigid Particles (Fluid Mechanics a](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img793x1200-17128514084ziyvj69910.jpg)
レディースの製品
