Constructive Logics for Program Correctnessの店舗お取扱い状況(宮城)
宮城にある1店舗の在庫状況です。都道府県および書店を選択して、お近くの店舗に絞れます。受け取り可能店では申し込み後に「Constructive Logics for Program Correctness」をお受け取りできます。
Constructive Logics for Program Correctness
- Takayasu Ito (著)
- 税込価格 3,850円
- 発行年月:c2012
- サイズ:26cm/304p
- ISBN:978-4-86345-146-9