株式会社極東書店トップ ＞ 商品一覧 ＞ Refinement Calculus : A Systematic Introduction. Softcover reprint of the original 1st ed. 1998.
商品詳細
Refinement Calculus : A Systematic Introduction. Softcover reprint of the original 1st ed. 1998.
・ISBN 978-0-387-98417-9 paper EUR 109.99
￥29,399.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Back, Ralph-Johan / Wright, Joakim, |
|---|---|
| シリーズ | Texts in Computer Science |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 1998 |
| ページ数 | 520 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-17669＞ |
解説
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. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.