HOME

洋書 Interactive Theorem Proving and Program

商品説明・詳細
送料・お届け

商品情報

裁断業者にて裁断済みです。以下、アマゾンからの引用です。amazon price：8338円Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)内容説明A practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

カテゴリー:	本・音楽・ゲーム>>>本>>>洋書
商品の状態:	未使用に近い
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	東京都
発送までの日数:	1~2日で発送

残り 1 点 5950円

（7 ポイント還元！）

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

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

ラッピング

対応決済方法

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