Abstraction, Refinement and Proof for Probabilistic Systems

Häftad, Engelska, 2010

Av Annabelle McIver, Charles Carroll Morgan

2 109 kr

Beställningsvara. Skickas inom 7-10 vardagar

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

Finns i fler format (1)

Inbunden

2 109 kr

Skickas inom 7-10 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

Utgivningsdatum2010-11-19
Mått155 x 235 x 22 mm
Vikt610 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor388
FörlagSpringer-Verlag New York Inc.
ISBN9781441923127

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.