新入荷
再入荷
Interactive Theorem Proving and Program Development: Bertot
4.7
（8件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：79080123215
中古 ：79080123215-1 |
メーカー | cdf866c7b0b | 発売日 | 2025-04-27 02:52 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
Interactive Theorem Proving and Program Development: Bertot
Interactive Theorem Proving and Program Development: Bertot,Interactive Theorem Proving and Program Development: Coq'Art,Coding Theorems of Information Theory | SpringerLink,Welcome to a World of Rocq
洋書の作品リスト
![洋書 [A12315972]The Syntax of Silence: Sluicing Islands and the Theory of Elli](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0507/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img800x1200-1722000954zyviyp199820.jpg)
![[A11760105]Simplified Interpretation of Pacemaker ECGs [ペーパーバック] Hesselson，](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img600x900-17036899739clylw294076.jpg)
![[A12320620]Clinically Oriented Anatomy [ペーパーバック] Moore， Keith L.、 Dalley Ph](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0511/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img924x1200-17321523308826oo2wox147143.jpg)
![[A12323059]Palliative Home Care， Grief and Bereavement: A mother's experien](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0511/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img800x1200-17327567948329hlsszg2835.jpg)
![洋書 [A12229823]The Application of Econophysics: Proceedings of the Second Nikke](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0508/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img790x1200-17243363072283dayhs3185555.jpg)
![洋書 [A12351634]Storing Carbon in Agricultural Soils: A Multi-Purpose Environmen](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0511/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img827x1105-17321875457791bc4nv3195373.jpg)
レディースの製品
![CKD 直動式2ポート電磁弁(マルチフィット[[R上]]) ( FFB-5210A4Q3B2-B ) CKD(株) 【メーカー取寄】](https://tshop.r10s.jp/orangetool/cabinet/trusco/main2/092/6039218.jpg)
