新入荷
再入荷
![洋書 [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.7
（13件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：56369273440
中古 ：56369273440-1 |
メーカー | f6876a52bb | 発売日 | 2025-03-26 08:05 | 定価 | 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,Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Automated Theorem Proving: Theory and Practice | SpringerLink,MATHEMATICAL INTRODUCTION TO CONTROL THEORY, A (SECOND EDITION) (Electrical and Computer Engineering),INTEGRATED CIRCUIT DESIGN - GLOBAL EDITION (9780321696946) | Akademika Bokhandel,
洋書の作品リスト
![洋書 [A11210507]Surgical Anatomy of the Internal Carotid Artery: An Atlas for Sk](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img332x500-1703614404tovx4m272209.jpg)
![[A12222874]Avoiding Common Anesthesia Errors [ペーパーバック] Marcucci MD， Catheri](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img334x500-1706722080e7wjm4136524.jpg)
![[A11155321]Moss & Adams’ Heart Disease in Infants， Children， and Adolescent](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img383x500-1703534213abgycg248119.jpg)
![[A12141410]A First Course in String Theory Zwiebach， Barton](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img353x500-1704627943p0qmos487747.jpg)
![洋書 [A11307032]Missing Data in Longitudinal Studies: Strategies for Bayesian Mo](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img410x648-1703617334xs6m8x270540.jpg)
![[A11036289]Heidelberger Kommentar Urheberrecht: Urheberrechtsgesetz， Urhebe](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img334x500-17033668338nlmmq213205.jpg)
![[AF22091303SP-1816]Organic Chemistry: Structure and Function [ハードカバー] Vollh](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img391x500-17077594718hhi3g59956.jpg)
![洋書 [AF2210204SP-2165]Sabiston Textbook of Surgery: The Biological Basis of Mod](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img391x500-17040270158nhskc363249.jpg)
レディースの製品
