Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Aus der Reihe

Fr. 208.00

inkl. gesetzl. MwSt.
Versandkostenfrei
Gebundenes Buch

Gebundenes Buch

Fr. 208.00 eBook

eBook

Fr. 187.90

Abstraction, Refinement and Proof for Probabilistic Systems

Ebenfalls verfügbar als:

Gebundenes Buch

Gebundenes Buch

ab Fr. 208.00
eBook

eBook

ab Fr. 187.90

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

19.11.2004

Verlag

Springer Us

Seitenzahl

388

Maße (L/B/H)

24.3/16.4/2.5 cm

Beschreibung

Details

Einband

Gebundene Ausgabe

Erscheinungsdatum

19.11.2004

Verlag

Springer Us

Seitenzahl

388

Maße (L/B/H)

24.3/16.4/2.5 cm

Gewicht

734 g

Auflage

2005 edition

Sprache

Englisch

ISBN

978-0-387-40115-7

Weitere Bände von Monographs in Computer Science

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern
  • Abstraction, Refinement and Proof for Probabilistic Systems
  • 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.