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

Abstraction, Refinement and Proof for Probabilistic Systems

By: Annabelle McIver, Charles Carroll Morgan

Paperback | 19 November 2010

At a Glance

Paperback


$273.07

or 4 interest-free payments of $68.27 with

 or 

Aims to ship in 7 to 10 business days

Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.

Other Editions and Formats

Hardcover

Published: 19th November 2004

More in Software Engineering

Clean Code : A Handbook of Agile Software Craftsmanship - Robert Martin
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.50

$25.90

45%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
REST API Design Rulebook : OREILLY AND ASSOCIATE - Mark Masse

RRP $47.50

$25.90

45%
OFF
Head First Java, 3rd Edition : A Brain-Friendly Guide - Bert Bates
C# 3.0 Design Patterns : O'Reilly Ser. - Judith Bishop

RRP $95.00

$47.75

50%
OFF
Android Programming : 5th Edition - The Big Nerd Ranch Guide - Brian Gardner