- 新品
- 書籍
- 書籍
Constructive Logics for Program Correctness
3,850円
獲得ポイント35P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 丸善プラネット |
| 発売年月日 | 2012/12/01 |
| JAN | 9784863451469 |
- 書籍
- 書籍
Constructive Logics for Program Correctness
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
Constructive Logics for Program Correctness
¥3,850
在庫なし
商品レビュー
0
0件のお客様レビュー
関連商品
最近チェックした商品
お手持ちのスマホで確認する
お手持ちのスマホでスキャン
お近くのスタッフに、表示されたスマホ画面を
みせていただければ商品をお探しいたします。
ブックオフナビをご利用いただき ありがとうございます
お近くのスタッフにこの商品詳細画面をお見せください。300万点の在庫の中から商品をお探しいたします。
※画面に表示されている価格はお取り寄せ時の価格となります。