![Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre](https://img.fril.jp/img/632758038/l/2028888830.jpg)
![Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre](https://www.suruga-ya.jp/database/images/no_photo.jpg)
![Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre](https://img.fril.jp/img/632758038/l/2028888830.jpg
"Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre")
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot，Yves; Cast?ran，Pierre
4.6
（11件）
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料100円
999円以上お買上げで代引き手数料100円
中古 10,351円 (税込)
商品詳細情報
| 管理番号 | 中古 ：70112180161 | メーカー | Interactive | 発売日 | 2025/01/30 20:01 | 型番 | Z5546155911 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
備考
商品説明
【30日間返品保証】商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。
ご満足のいく取引となるよう精一杯対応させていただきます。
※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。
【インボイス制度対応済み】当社では2023年10月からインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。
■商品名■
InteractiveTheoremProvingandProgramDevelopment:Coq'Art:TheCalculusofInductiveConstructions(TextsinTheoreticalComputerScience.AnEATCSSeries)[ペーパーバック]Bertot、Yves;Cast?ran、Pierre
■出版社■
SpringerBerlinHeidelberg
■発行年■
2010/02/19
■ISBN10■
3642058809
■ISBN13■
9783642058806
■コンディションランク■
非常に良い
コンディションランク説明
ほぼ新品：未使用に近い状態の商品
非常に良い：傷や汚れが少なくきれいな状態の商品
良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
可：傷や汚れが目立つものの、使用には問題ない状態の商品
■コンディション詳細■
書き込みありません。古本ではございますが、使用感少なくきれいな状態の書籍です。弊社基準で良よりコンデションが良いと判断された商品となります。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。
■当社の出品一覧はこちら↓■
#ブックスドリーム出品一覧
参考書・赤本・専門書・医学書、予備校テキスト・塾テキスト・教材を10万点以上出品しています。
※上記クリック後、「半角または全角スペース+検索したいワード」を追加することで、予備校名や出版社名、講師名等で絞れます。
例）
「#ブックスドリーム出品一覧駿台」
「#ブックスドリーム出品一覧旺文社」
「#ブックスドリーム出品一覧四谷大塚小6算数」
【発送予定日について】
こちらの商品は、17時までの注文は翌日に発送致します。17時〜24時の注文は翌々日に発送致します。
※日曜日・年末年始は除きます（日曜日・年末年始は発送休業日です。祝日は発送しています）。
(例)
・月曜17時までの注文の場合、火曜発送
・月曜17時〜24時の注文の場合、水曜発送
・土曜17時までの注文の場合、月曜発送
・土曜17時〜24時の注文の場合、月曜発送
・日曜17時までの注文の場合、月曜発送
・日曜17時〜24時の注文の場合、火曜発送
【送付方法について】
ネコポス、宅配便またはレターパックでの発送となります。
関東地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。
関東地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。取引メッセージにてご連絡ください。
名古屋大学 数学入試問題50年: 昭和31年(1956)~平成17年(2005) 聖文新社編集部
【中古】 エクシード２改訂版英単語・熟語 教科書準拠０４４/三省堂/三省堂編修所
【中古】 英語と日本人 なぜ英語ができない/パイインターナショナル/船田秀佳
【中古】 ネイティブの英語舌、英語耳に今スグなれるＣＤーＢＯＯＫ/イマジカインフォス/ディビッド・セイン
本の製品
![腹部超音波テキスト?上・下腹部? 改訂第三版 (Atlas Series超音波編) [大型本] 辻本 文雄、 松原 馨; 井田 正博](https://img.fril.jp/img/632742898/l/2028820798.jpg)
エンタメ/ホビーの製品
