Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.

McIver / Morgan | Abstraction, Refinement and Proof for Probabilistic Systems | Buch | 978-1-4419-2312-7 | www.sack.de

Buch, Englisch, 388 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 610 g

Reihe: Monographs in Computer Science

McIver / Morgan

Abstraction, Refinement and Proof for Probabilistic Systems


1. Auflage. Softcover version of original hardcover Auflage 2005
ISBN: 978-1-4419-2312-7
Verlag: Springer

Buch, Englisch, 388 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 610 g

Reihe: Monographs in Computer Science

ISBN: 978-1-4419-2312-7
Verlag: Springer

This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.

McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

McIver, Annabelle
Morgan, Charles Carroll

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.