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

¥10953

(税込) 送料込み

商品の説明

商品説明

【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日間は無条件で着払いでご返品後に返金させていただきます。取引メッセージにてご連絡ください。

10953円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エンタメ/ホビー本Lecture 6: TM Variants

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS

Amazon.co.jp: Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development: Coq'Art: The

Interactive Theorem Proving: 9th International Conference, ITP

Interactive Theorem Proving and Program Development: Coq'Art: The

Amazon.com: Interactive Theorem Proving and Program Development

Gradualizing the Calculus of Inductive Constructions | ACM

Advanced Quantum Communications: An Engineering Approach

Alice and Bob Meet Banach: The Interface of Asymptotic Geometric

The W3 Algebra

Learning to prove theorems via interacting with proof assistants

Finite Mathematics & Its Applications 12th Edition

Thinking as Computation

Church's Problem and a Tour through Automata Theory | SpringerLink

PPT - A brief Introduction to Automated Theorem Proving PowerPoint

Calculus Late Transcendentals Single Variable 9th edition

Lecture 6: TM Variants, Church-Turing Thesis | Theory of

Proof Theory: Sequent Calculi and Related Formalisms - 1st Edition - K

Learning to Prove Theorems via Interacting with Proof Assistants

Calculus: Early Transcendentals, 12th Edition - WileyPLUS

Coq'Art Home page

Intro to Python for Computer Science and Data Science Learning to

ISBN 9780134896038 - MyLab Math with Pearson EText Access Code (18

Theory and Applications of Non-integer Order Systems

Lecture 11: Recursion Theorem and Logic | Theory of Computation

NCT 127 ファンクラブ限定 LOVEHOLIC (CD+Blu-ray) - K-POP/アジア

Interactive Theorem Proving and Program Development: Coq'Art: The

The problem of proof identity, and why computer scientists should

Universität Tübingen - Interactive Theorem Proving

Coq'Art Home page

An Introduction to Logic - Second Edition - Broadview Press

Universität Tübingen - Interactive Theorem Proving

COMPSCI 501: Formal Language Theory COMPSCI 501: Formal Language

The Implicit Function Theorem: History, Theory, and Applications

An Introduction to Logic - Second Edition - Broadview Press

Universität Tübingen - Interactive Theorem Proving

商品の情報

カテゴリー

配送料の負担

送料込み(出品者負担)

配送の方法

ゆうゆうメルカリ便

郵便局/コンビニ受取

匿名配送

発送元の地域

宮城県

発送までの日数

1~2日で発送

メルカリ安心への取り組み

お金は事務局に支払われ、評価後に振り込まれます

出品者

TERROUF.CLUSTER028.HOSTING.OVH.NET

本人確認済

スピード発送

この出品者は平均24時間以内に発送しています