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: 185.49 USD
Availability: OutOfStock
Author: Annabelle McIver

Price

$ 185.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

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

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Also available as:

Paperback Book

Softcover reprint of hardcover 1st ed. 2005 edition

(2010) $ 157.99

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

Media	Books Hardcover Book (Book with hard spine and cover)
Released	November 19, 2004
ISBN13	9780387401157
Publishers	Springer-Verlag New York Inc.
Pages	388
Dimensions	155 × 235 × 23 mm · 693 g