sasfly.net - ネットでギフトを贈るなら ギフトモール

  1. HOME

洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th

洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Softcover reprint of edition by Bertot, Yves, Castéran, Pierre (2010) Paperback: Yves
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th - 洋書
Coq'Art Home page
Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation
Discrete Mathematics and Its Applications

  • 商品説明・詳細

  • 送料・お届け

商品情報

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Softcover reprint of edition by Bertot, Yves, Castéran, Pierre (2010) Paperback: Yves,洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th - 洋書,Coq'Art Home page,Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation,Discrete Mathematics and Its Applications

残り 1 点 8821円

（11 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 05月05日〜指定可 (明日12:00のご注文まで)

  • ラッピング
    ラッピング
希望しない
希望する ( +600円 )
希望しない
数量
同時に5点までのご購入が可能です。
お気に入りに保存

対応決済方法

クレジットカード
クレジットカード決済
コンビニ前払い決済
コンビニ決済
代金引換
商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥299,000 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング)
以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行 、 三菱ＵＦＪ銀行 、 三井住友銀行
りそな銀行 、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)

大量注文に関して

30個以上かつ10万円以上のご購入はこちらからお問い合わせください

お問い合わせはこちらから

人気商品（ギフトモール店）

全てのギフトを見る
ちょっと特別なギフト体験　Anny（アニー）
ちょっと特別なレストラン・料亭のお祝いプランで忘れられない思い出を Annyお祝い体験

ヘルプ&ガイド

ギフトモールについて

参画のご案内

ギフトモールのサービス

世界に1つだけのプレゼントを作るならギフトモール

©2024 sasfly.net, Inc.

icon-facebook icon-twitter icon-instagram