| Description |
1 online resource (xix, 383 pages) : illustrations |
| Series |
Monographs in computer science |
|
Monographs in computer science.
|
| 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 |
| Summary |
Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm |
| Bibliography |
Includes bibliographical references (pages 345-355)-and indexes |
| Notes |
Print version record |
| In |
Springer e-books |
| Subject |
Engineering mathematics.
|
|
Probabilities.
|
|
Systems engineering.
|
|
Probability
|
|
probability.
|
|
systems engineering.
|
|
COMPUTERS -- Programming -- Open Source.
|
|
COMPUTERS -- Software Development & Engineering -- Tools.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Probabilities.
|
|
Systems engineering.
|
|
Mathématiques de l'ingénieur.
|
|
Probabilités.
|
|
Ingénierie des systèmes.
|
|
Engineering mathematics.
|
|
Informatique.
|
|
Engineering mathematics
|
|
Probabilities
|
|
Systems engineering
|
| Form |
Electronic book
|
| Author |
Morgan, Carroll, 1952-
|
| LC no. |
2004057839 |
| ISBN |
0387401156 |
|
9780387401157 |
|
038727006X |
|
9780387270067 |
|
6610263558 |
|
9786610263554 |
|
