Abstraction, Refinement and Proof for Probabilistic Systems

Inbunden, Engelska, 2004

Av Annabelle McIver, Charles Carroll Morgan

2 099 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

2 099 kr

Skickas inom 10-15 vardagar

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.

Produktinformation

Utgivningsdatum2004-11-19
Mått155 x 235 x 25 mm
Vikt734 g
FormatInbunden
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor388
Upplaga2005
FörlagSpringer-Verlag New York Inc.
ISBN9780387401157

Tillhör följande kategorier

Tillämpad matematik inom Naturvetenskap och teknik
Matematisk statistik inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it

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.