当日発送
送料無料

【送料無料キャンペーン?】洋書 Interactive Program and Proving Theorem 洋書

お気に入りブランド

クチコミ評価 5.6（51件）

販売価格：: ￥5950税込
獲得ポイント：: ポイント

商品がカートに追加されました

販売価格：￥5950 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

裁断業者にて裁断済みです。以下、アマゾンからの引用です。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日で発送