Refinement Calculus: a Systematic Introduction - Texts in Computer Science - Back, Ralph-johan (Abo Akademi University, Turku, Finland) - 書籍 - Springer-Verlag New York Inc. - 9780387984179 - 1998年4月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Back, Ralph-johan (Abo Akademi University, Turku, Finland)
Refinement Calculus: a Systematic Introduction - Texts in Computer Science Softcover Reprint of the Original 1st Ed. 1998 edition

価格
¥ 17.906
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月29日 - 年10月9日
Back, Ralph-johan (Abo Akademi University, Turku, Finland) の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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.

520 pages, 11 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1998年4月13日
ISBN13 9780387984179
出版社 Springer-Verlag New York Inc.
ページ数 520
寸法 156 × 234 × 27 mm   ·   743 g
言語 英語  

同じ出版社からのその他の記事

Back, Ralph-johan (Abo Akademi University, Turku, Finland)のすべてを見る