“伊藤 貴康”に関連する紙の本の一覧
“伊藤 貴康”に関連する紙の本を7件掲載しています。1 ~ 7 件目をご紹介します。
Constructive Theory for Programs and Their Correctness
- Takayasu Ito (著)
- 税込価格:1,466円
- 出版社:三恵社
- 発行年月:2011.11
- 発送可能日:要確認
Constructive Logics for Program Correctness and Verification Revised Edition
- Takayasu Ito (著)
- 税込価格:1,980円
- 出版社:三恵社
- 発行年月:2011.4
- 発送可能日:要確認
Constructive Logics for Program Correctness
- Takayasu Ito (著)
- 税込価格:3,850円
- 出版社:丸善プラネット
- 発行年月:c2012
- 発送可能日:要確認
Mathematical Theory of Programs
- Takayasu Ito (著)
- 税込価格:2,750円
- 出版社:三恵社
- 発行年月:2010.10
- 発送可能日:要確認
検索結果 7 件中 1 件~ 7 件を表示 |
- 予約購入について
-
- 「予約購入する」をクリックすると予約が完了します。
- ご予約いただいた商品は発売日にダウンロード可能となります。
- ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
- 商品の発売日は変更となる可能性がございますので、予めご了承ください。