Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Books - Springer-Verlag New York Inc. - 9781441923127 - November 19, 2010
In case cover and title do not match, the title is correct

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

Price
$ 157.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 29 - Jul 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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     Paperback Book   (Book with soft cover and glued back)
Released November 19, 2010
ISBN13 9781441923127
Publishers Springer-Verlag New York Inc.
Pages 388
Dimensions 155 × 235 × 21 mm   ·   562 g
Language English  

Mere med samme udgiver

See all of Annabelle McIver ( e.g. Hardcover Book and Paperback Book )