HOME

洋書 [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): Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C.: 9783642058806: Amazon.com: Books

Art of Computer Programming, The: Combinatorial Algorithms, Volume 4A, Part 1: Knuth, Donald: 9780201038040: Amazon.com: Books

The Art Of Computer Programming - A Great Present

Amazon.com: Connected by Design: Seven Principles for Business Transformation Through Functional Integration: 9781118858202: Wacksman, Barry,

The XX Brain: The Groundbreaking Science Empowering Women to Maximize Cognitive Health and Prevent Alzheimer's Disease by Lisa Mosconi PhD, Paperback | Barnes & Noble®

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

商品情報

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, Huet, G., Paulin-Mohring, C.: 9783642058806: Amazon.com: Books,Art of Computer Programming, The: Combinatorial Algorithms, Volume 4A, Part 1: Knuth, Donald: 9780201038040: Amazon.com: Books,The Art Of Computer Programming - A Great Present,Amazon.com: Connected by Design: Seven Principles for Business Transformation Through Functional Integration: 9781118858202: Wacksman, Barry, ,The XX Brain: The Groundbreaking Science Empowering Women to Maximize Cognitive Health and Prevent Alzheimer's Disease by Lisa Mosconi PhD, Paperback | Barnes & Noble®

残り 1 点 8821円

（5 ポイント還元！）

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

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

ラッピング

対応決済方法

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