新入荷
再入荷
![洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0411/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img333x500-1700318132o6vo3j727978.jpg)
![洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th](https://www.suruga-ya.jp/database/images/no_photo.jpg)
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
4.6
（7件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：76716274481
中古 ：76716274481-1 |
メーカー | 0dc6e8448a9271 | 発売日 | 2025-04-22 18:08 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | SpringerLink,Coq'Art Home page,Introduction to the Coq Proof Assistant - Andrew Appel,Hodge theory and complex algebraic geometry i volume 1 | Geometry and topology | Cambridge University Press,
洋書の作品リスト
![洋書 [A01684558]Anatomy for Cardiac Electrophysiologists: A Practical Handbook H](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img500x375-1703244455dmuzf6192058.jpg)
![[A01959176]Reading Chinese This Way Level 2 Zirui， Zhu; Rui， Zheng](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img371x500-1703363316lqy6jq221369.jpg)
![洋書 [A01475843]Hypothermia for Acute Brain Damage: Pathomechanism and Practical](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img315x500-170324497355isch192216.jpg)
![洋書 [A11166653]Crps: Current Diagnosis And Therapy (PROGRESS IN PAIN RESEARCH A](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img328x500-17035342143bgp0p244776.jpg)
![[AF2210204SP-2364]Diagnostic Pathology: Blood and Bone Marrow Foucar MD， Ka](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img367x500-1706202804lm1gph23210.jpg)
![[A12225733]Rogers' Handbook of Pediatric Intensive Care [ペーパーバック] Shaffner](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img351x500-1704627944dtqmsy295758.jpg)
![洋書 [A11157722]Time Reversal Invariance and Parity Violation in Neutron Reactio](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img353x500-17035376948dt0hz244297.jpg)
![洋書 [A12250222]Financial Accounting: An Introduction to Concepts Methods and U](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img371x500-1705068019mnmnqw583538.jpg)
レディースの製品
![【中古】[FIG]コトブキヤショップ限定 相葉夕美(あいばゆみ)-off stage- アイドルマスター シンデレラガールズ 1/8 完成品 フィギュア コト](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0410/users/5021f6412f6c483d4b669d25bb9159365dd6a54a/i-img1200x1200-1698225201cb0rsf1546814.jpg)
