株式会社極東書店トップ ＞ 商品一覧 ＞ Abstraction, Refinement and Proof for Probabilistic Systems. Softcover reprint of hardcover 1st ed. 2005
商品詳細
Abstraction, Refinement and Proof for Probabilistic Systems. Softcover reprint of hardcover 1st ed. 2005
・ISBN 978-1-4419-2312-7 paper EUR 149.99
￥40,091.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | McIver, Annabelle / Morgan, Charles Carroll, |
|---|---|
| シリーズ | (Monographs in Computer Science) |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2010 |
| ページ数 | 388 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-27435＞ |
解説
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.