『洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th』はセカイモンでa02d4eacから出品され、256の入札を集めて04月07日 10時 22分に、8677円で落札されました。即決価格は8677円でした。決済方法はに対応。沖縄県からの発送料は落札者が負担しました。PRオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。
洋書 [AF22091303SP-1877]The Theory of Externalities 2ed Cornes/Sandler
¥ 8609
洋書 [A12219110]Statistical Physics I: Equilibrium Statistical Mechanics (Spring
¥ 8033
[A01872595]Goldfrank's Toxicologic Emergencies Flomenbaum, Neal E.、 Goldfra
¥ 11452
☆EELS ON THE MOVE Mysterious Creatures over Millions of Years☆ Kuroki Mari
¥ 7629
洋書 [A12081789]Stahl's Essential Psychopharmacology: Neuroscientific Basis and
¥ 7263
洋書 [A11033083]The Properties of Solvents (Wiley Series in Solutions Chemistry)
¥ 7318
[A11088376]Jean Nouvel [ペーパーバック]
¥ 13138
*珍品旧蔵*明代 丁雲鵬 手書き 長巻の古経書 《如意摩尼陀羅尼経》 材質:宣紙 古美術品 BK0307
¥ 7200
[A01622554]Geometry Problems from Mathematical Olympiads Todev, R.
¥ 11030
[A12217626]Smith and Tanagho's General Urology, 19th Edition [ペーパーバック] McAn
¥ 9209
洋書 [A12210886]Lectures On Phase Transitions And The Renormalization Group (Fro
¥ 6379
洋書 [A11519671]Bioinformatics with Python Cookbook: Learn how to use modern Pyt
¥ 7122
洋書 [A12120344]Statistical Physics Ii: Nonequilibrium Statistical Mechanics (Sp
¥ 10007
*珍品旧蔵*明代 文正明 手書き 長巻の古経書 《大方便仏報恩経》 材質:宣紙 時代物 古美術品 BK0307
¥ 7200
[A11149949]CouchDB 2.0 Reference Manual [ペーパーバック] Team, Couchdb
¥ 8095
洋書 [A01833455]Retinal and Vitreoretinal Surgery: Mastering the Latest Techniqu
¥ 10991
[A11019292]Acetaminophen: Properties, Clinical Uses and Adverse Effects (Ph
¥ 13298
77 古文書時代鑑 解説本付き
¥ 5100
洋書 Chitty on Contracts Volume 2
¥ 11999
洋書 [AF22091303SP-1783]Transnasal Endoscopic Skull Base and Brain Surgery: Tips
¥ 17998
[A12169651]Telexistence [ハードカバー] Tachi,Susumu
¥ 10175
仰望 増補再版 直筆歌署名入/岩谷莫哀/新詩壇社
¥ 7890
WWII : The Illustrated History of World War II by the editors of TIME-LIFE books / TIME LIFE BOOKS 洋書ハードカバー (1989年刊)
¥ 8500
計24冊♪ 「ヤマノススメ」 1~23巻(続巻)+ コミックアンソロジー しろ 全巻セット 当日発送も! @2392
¥ 6885
S/楽譜/大江千里/乳房/未成年/タブ譜/バンドスコア
¥ 6600
う02-018 NYLON 2014 july no.122 行く人も行かない人も楽しめる まるごと夏フェス 中島美嘉 加藤ミリヤ
¥ 6266
奈良原一高 スペイン 偉大なる午後 フィエスタ・バヤコン・ディオス 求龍堂
¥ 11400
オークファンの無料会員に登録すれば
一度検索した商品をお気に入り登録可能。
マイブックマーク機能で
いつでもすぐに登録した商品を
見返すことができます。
既に会員の方はこちらからログインをお願いいたします
「同じ商品を出品する」機能のご利用には
オークファン会員登録が必要です。
価格を表示するには、
オークファンプレミアム(月額8,800円/税込)の登録が必要です。
まずはお試し!!初月無料で過去の落札相場を確認!
オークションで稼ぐための人気機能!
「期間おまとめ検索」を使えば、複数月をまたいだ指定期間の相場検索が可能です。レアな商品の相場や過去の出品数をまとめて確認できます。
さらに、オークファンプレミアムに登録すると最大過去10年分の相場データが月1,200回まで閲覧可能です。
価格を表示するには、
オークファンプレミアム(月額2,200円/税込)の登録が必要です。
まずはお試し!!初月無料で過去の落札相場を確認!
ご満足のいく取引となるよう精一杯対応させていただきます。
下記に商品説明や配送料・配送方法・注意事項等の説明がございます。お客様にとって大切な事柄を記載しておりますので、よくお読みいただき、ご了解の上ご購入をお願い致します。
【インボイス制度対応済み】当社では2023年10月からインボイス制度に対応した適格請求書発行事業者番号(通称:T番号・登録番号)を印字した納品書(明細書)を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。
●ヤフオク本店はこちら
●ヤフオク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
■コンディションランク■
非常に良い
コンディションランク説明
ほぼ新品:未使用に近い状態の商品
非常に良い:傷や汚れが少なくきれいな状態の商品
良い:多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
可:傷や汚れが目立つものの、使用には問題ない状態の商品
■コンディション詳細■
書き込みありません。古本ではございますが、使用感少なくきれいな状態の書籍です。弊社基準で良よりコンデションが良いと判断された商品となります。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。
書き込みの程度や付属品の揃い具合はできるだけチェックはしておりますが、多少(10%~20%程度)の誤差や見落としがあることもございます。恐れ入りますが予めご了解いただきますようお願い申し上げます。
商品説明のコンディションランクをご参照ください。
出品している商品および付属物などは画像はサンプル画像となります。書籍の状態につていはご質問いただいてもご回答が出来かねる場合がございます。
ヤフオクでのご落札後のキャンセルは承っておりません。責任を持って取引できる価格でのご入札をお願いいたします。
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。メール又は取引メッセージにてご連絡ください。商品に瑕疵がない状態での落札者様都合でのご返品は承っておりません。