Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science Annabelle McIver 2005 edition

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

価格

¥ 29.505

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月7日 - 年9月23日

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

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

他の形態でも入手可能：

Paperback Book

Softcover reprint of hardcover 1st ed. 2005 edition

(2010) ¥ 29.505

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

Annabelle McIver

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

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2004年11月19日
ISBN13	9780387401157
出版社	Springer-Verlag New York Inc.
ページ数	388
寸法	155 × 235 × 23 mm · 693 g
言語	英語