My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free US shipping over $10
Trustpilot
Proud to be B-Corp

Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver

Abstraction, Refinement and Proof for Probabilistic Systems By Annabelle McIver

Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver

Reviews:
$149.69
Condition - New
Only 2 left
New

Summary

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.

Abstraction, Refinement and Proof for Probabilistic Systems Summary

Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver

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.

Table of Contents

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.

Additional information

NLS9781441923127
9781441923127
1441923128
Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver
Annabelle McIver
Monographs in Computer Science
New
Paperback
Springer-Verlag New York Inc.
2010-11-19
388
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Abstraction, Refinement and Proof for Probabilistic Systems