Annabelle McIver & Charles Carroll Morgan 
Abstraction, Refinement and Proof for Probabilistic Systems [PDF ebook] 

Stöd
€149.79
Betalningsmetoder

Innehållsförteckning

Probabilistic guarded commands and their refinement logic.- to p GCL: 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 q TL.- The quantitative modal ?-calculus, and gambling games.

Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● Sidor 388 ● ISBN 9780387270067 ● Filstorlek 3.2 MB ● Utgivare Springer New York ● Stad NY ● Land US ● Publicerad 2005 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 2144297 ● Kopieringsskydd Social DRM

Fler e-böcker från samma författare (r) / Redaktör

16 795 E-böcker i denna kategori