0点 0円

0 点 0 円

カート

最新入荷洋書 Interactive Program and Proving Theorem 洋書

¥6,500 ¥5,525

(日本語版・金縁) ライフパーパスオラクルカード

¥6,500 ¥5,525

アンリ・カルティエ・ブレッソン The Modern Century

¥6,500 ¥5,525

CD付洋書 Usborne First Reading LEVEL-3, 24冊

¥7,000 ¥5,950

ヴィトラデザインミュージアムコレクションの傑作100点

¥6,500 ¥5,525

希少洋書アメリカンビンテージ Flower 書き方US vintage

¥6,200 ¥5,270

M　洋書　3点

¥6,500 ¥5,525

Mrs. Beeton’s Victorian Cookbook ビートン夫人

¥6,800 ¥5,780

洋書 Plee Henry L'art des points de vie

¥6,700 ¥5,695

洋書 Art sublime et ultime des points vitaux

¥6,300 ¥5,355

洋書 Microeconomic Theory

¥6,500 ¥5,525

★フランス語洋書★Proust プルースト失われた時を求めて

¥6,600 ¥5,610

激レア The Classical Music of North India

¥6,300 ¥5,355

L85 洋書【美品】厚さ5cm! ボックスカバー付きフランスDMC手芸百科事典

¥6,700 ¥5,695

【新品未開封】プチ・ルノルマン・カード／フランス製

¥6,500 ¥5,525

洋書 JOJO A-GO!GO! ULTIMATE EDITION

¥6,500 ¥5,525

洋書 Lord of the Rings A Reader's Companion

¥7,000 ¥5,950

洋書 Goldstein, Classical Mechanics

¥6,500 ¥5,525

希少洋書アメリカンビンテージオイルパステル書き方US vintage

¥6,500 ¥5,525

GIANNI VERSACE ヴェルサーチ

¥6,500 ¥5,525

Young Cam Jansen 19冊

¥6,300 ¥5,355

洋書 Shankar, Principles of Quantum Mechanics

¥6,100 ¥5,185

アウトランダー洋書セット

¥6,980 ¥5,933

洋書◆フランスの美しい村の写真集本風景景色建物

¥7,000 ¥5,950

【ぴょん】Biscuit's Snowy Day他

¥25,000 ¥14,250

☆新品☆矢沢永吉 TONIGHT THE NIGHT! ありがとうが爆発する夜

¥8,000 ¥6,800

バトルスペース+バーコードボーイセット

¥23,500 ¥13,395

フランソワオゾン　DVD セット　最終値下げ

¥80,000 ¥43,200

PCパーツ ASUS ROG Strix GeForce RTX 3070

¥6,500 ¥5,525

時計ワインダー　時巻き時計

¥49,800 ¥27,888

EDWARDS ET-95BD Bandit L'Arc tetsuya ラルク

最新入荷洋書 Interactive Program and Proving Theorem 洋書

最新入荷洋書 Interactive Program and Proving Theorem, 洋書 - imperiacondos.com

商品コード	d2f29
本体価格	5,950円
ポイント	6ポイント
セブンマイル	セブンマイル対象マイルについて
送料	送料込み(出品者負担)

お届け予定日

東京都千代田区にお届けする場合

宅配受取り：2023年03月29日(日)～ 2023年10月21日(火)にお届け

お届け・サービスについて

管理タグがついている場合があります。予めご了承ください。ご使用の際に影響はございません。

郵便番号	〒例）1020084

数量

在庫有り

この商品をお気に入りに追加

Interactive Theorem Proving and Program Development: Bertot

Interactive Theorem Proving and Program Development: Bertot, Yves

Learning Proof Transformations and Its Applications in Interactive

Interactive Theorem Proving and Program Development: Bertot, Yves

ご利用可能なサービス

商品説明

FREITAG フライターグアートブック
裁断業者にて裁断済みです。以下、アマゾンからの引用です。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日で発送