新入荷
再入荷
![洋書 [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
（4件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：67661273440
中古 ：67661273440-1 |
メーカー | 3f4a54824c7ee | 発売日 | 2025-05-03 14:58 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Coq'Art Home page,Learning to prove theorems via interacting with proof assistants | the morning paper,Programs and Proofs,Control Theory and Inverse Problems: The 2023 Workshop in Monastir, Tunisia | SpringerLink
洋書の作品リスト
![[A12026075]Petri Net Theory and the Modeling of Systems Peterson， James Lyl](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img344x500-17036986224cereb284202.jpg)
![[A12159915]Dreamland Japan: Writings on Modern Manga Schodt，Frederik L.](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0411/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img311x500-1700323613f7yzta359062.jpg)
![洋書 [A11099791]Hit and Run Trading II: Capturing Explosive Short-Term Moves in](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img366x475-1703533011l1rc5w251602.jpg)
![[A12207832]The biology of Kru¨ppelーlike factors](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img332x500-1705760605rdswsm67852.jpg)
![[A12020254]Clinical Cases in Tropical Medicine Rothe MD DTM&H， Camilla](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img392x500-1703699198etqco0286136.jpg)
![[A11111224]ENGLISH LINGUISTICS Volume36， Number1 September2019 [単行本] 日本英語学会](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img343x500-1703538893u0lrja246487.jpg)
![洋書 [A12275156]Statistical Physics of Fields](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img332x500-1712942155gcfplh105447.jpg)
レディースの製品
