新入荷
再入荷
【時間指定不可】 Interactive Theorem Proving and Program Development: Coq'Art 洋書
4.8
（4368件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：15131530833
中古 ：15131530833-1 |
メーカー | 2a897924 | 発売日 | 2025-05-07 22:05 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
洋書の作品リスト
![洋書 [A11341918]Side by Side 4: Student Book with Audio CD Highlights](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0503/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img373x500-1710500793h67fu412020.jpg)
![洋書 [A12293712]C++ Design Patterns and Derivatives Pricing (Mathematics Financ](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img348x500-1714132715wxvjno224025.jpg)
![[美しいリトグラフ]ドイツの古い植物図鑑(Pflanzenreich)/アンティーク ヴィンテージ 植物図鑑 花の絵 植物の絵 植物画 洋書 雰囲気◎/](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0301/users/447de01ef875faf58df692edaa8053b733b619eb/i-img1200x1200-1641134890zhmrkv13.jpg)
レディースの製品
ご満足のいく取引となるよう精一杯対応させていただきます。貴重 洋書 1927年にベルリンで出版された中国工芸の図版付大著 R.L. Hobson『Chinesische Kunstwerke』Ernst Wasmuth ホブソン図版多数。
下記に商品説明や配送料・配送方法・注意事項等の説明がございます。☆井上十吉 日清戦争解説☆Concise History of the War between Japan & China☆鈴木華邨/富岡永洗/日本/中国。お客様にとって大切な事柄を記載しておりますので、よくお読みいただき、ご了解の上ご購入をお願い致します。即決中古本送料込! 洋書 The Rise＆Fall of Imperial Japan / YW1156。
【インボイス制度対応済み】当社では2023年10月からインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。[A12159743]General Topology: Chapters 5-10 (Elements of Mathematics) [ペーパーバ。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。洋書 [A12276592]Probabilistic Theory of Mean Field Games with Applications II: M。
●ヤフオク本店はこちら
●ヤフオク2号店はこちら
●ヤフーショッピング本店はこちら
●ヤフーショッピング2号店はこちら
ヤフオクセール商品はこちら
ヤフーショッピングセール商品はこちら
■商品名■
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot、 Yves; Cast?ran、 Pierre
■出版社■
Springer Berlin Heidelberg
■発行年■
2010/02/19
■ISBN10■
3642058809
■ISBN13■
9783642058806
■コンディションランク■
非常に良い
コンディションランク説明
ほぼ新品：未使用に近い状態の商品
非常に良い：傷や汚れが少なくきれいな状態の商品
良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
可：傷や汚れが目立つものの、使用には問題ない状態の商品
■コンディション詳細■
書き込みありません。旧蔵 中国の占術 中國古代占い風水 線裝 『地理挨星説匯要』 中国古書 古文書 宣紙 中国古美術 漢籍 古典籍 風水学 開運 GF425。古本ではございますが、使用感少なくきれいな状態の書籍です。[A01729741]Does a Kangaroo Have a Mother Too? [ハードカバー]。弊社基準で良よりコンデションが良いと判断された商品となります。【まとめ】Textes en prancais facile Ha che tte 27冊セット 洋書/フランス語/ユーゴー/スタンダール/モリエール【ta04h】。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。洋書 [A12200848]Designing Clinical Research。
書き込みの程度や付属品の揃い具合はできるだけチェックはしておりますが、多少(10%～20%程度)の誤差や見落としがあることもございます。洋書 [A12166799]Automatic Gain Control: Techniques and Architectures for RF Rece。恐れ入りますが予めご了解いただきますようお願い申し上げます。[A11485748]Statistical Physics: Experiments， Theories， and Computer Simulat。
商品説明のコンディションランクをご参照ください。仏教美術 インド リトグラフ 古いアラビア語の写本 22葉 44ページ 経文 経典 45。
出品している商品および付属物などは画像はサンプル画像となります。【ドイツ文/洋書】DER BROCKHAUS IN 2BANDEN ブロックハウス百科事典 2巻セット。書籍の状態につていはご質問いただいてもご回答が出来かねる場合がございます。●フランス 洋書 古書 TAPISSERIES DE FRANCE タペストリー 芸術 1951年 作品集 アンティーク 資料 版画でしょうか？詳細不明です●。
ヤフオクでのご落札後のキャンセルは承っておりません。洋書 [A12236279]The Cambridge Handbook of Phonology (Cambridge Handbooks in Lang。責任を持って取引できる価格でのご入札をお願いいたします。『Pathology of Tumors of the Nervous System 医学書 洋書』。
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。旧蔵 中国古書 漢方医薬書 超希少 線裝 『付青主奇方』 医学書 古文書 宣紙 唐本 中国古美術 漢籍 GF55。メール又は取引メッセージにてご連絡ください。洋書 [A12287058]London's West End: Creating the Pleasure District 1800-1914。商品に瑕疵がない状態での落札者様都合でのご返品は承っておりません。洋書 [A12299670]JNCIS: Juniper Networks Certified Internet Specialist Study Guid。