Refinement Calculus A Systematic Introduction
販売元:
￥25,390
在庫あり
+ 配送料￥4,999
14日間返品ポリシー
支払い方法:
- ブランド: Springer Nature B.V
商品詳細
商品詳細
Refinement Calculus A Systematic Introduction
Much Current Research In Computer Science Is Concerned With Two Questions: Is A Program Correct? And How Can We Improve A Correct Program Preserving Correctness? This Latter Question Is Known As The Refinement Of Programs And The Purpose Of This Book Is To Consider These Questions In A Formal Setting.
- ブランド: Springer Nature B.V
- カテゴリー: コンピューター、インターネット
-
フォーマット: Paperback
-
刊行日: 1998-05-01
-
ページ数: 540
-
著者: Ralph-Johan Back
-
言語: English
-
出版社 / レコード会社: Springer Nature B.V
- Fruugo ID: 550927569-1115605988
- ISBN: 9780387984179
配送
配達
24時間以内に発送
-
STANDARD: ￥4,999 - 間の配達 月 09 11月 2026–木 12 11月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。