Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science Annabelle McIver Softcover reprint of hardcover 1st ed. 2005 edition

Name: Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science
Price: 29160 JPY
Availability: OutOfStock
Author: Annabelle McIver

価格

¥ 29.160

税抜

遠隔倉庫からの取り寄せ

発送予定日年8月25日 - 年9月10日

Annabelle McIver の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Hardcover Book

2005 edition

(2004) ¥ 29.160

Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science

Annabelle McIver

Softcover reprint of hardcover 1st ed. 2005 edition

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

388 pages, 63 black & white illustrations, 5 black & white tables, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2010年11月19日
ISBN13	9781441923127
出版社	Springer-Verlag New York Inc.
ページ数	388
寸法	155 × 235 × 21 mm · 562 g
言語	英語