Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Autorenporträt
Christel Baier, Friedrich Wilhelms University Bonn, Germany / Boudewijn R. Haverkort, University of Twente, Enschede, The Netherlands / Holger Hermanns, Saarland University, Saarbruecken, Germany / Joost-Pieter Katoen, University of Twente, Enschede, The Netherlands / Markus Siegle, University of the Federal Armed Forces Munich, Germany
Inhaltsangabe
Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.- An Overview of Probabilistic Process Algebras and Their Equivalences.- Model Checking of Stochastic Systems.- Verifying Qualitative Properties of Probabilistic Programs.- On Probabilistic Computation Tree Logic.- Model Checking for Probabilistic Timed Systems.- Representing Large State Spaces.- Serial Disk-Based Analysis of Large Stochastic Models.- Kronecker Based Matrix Representations for Large Markov Models.- Symbolic Representations and Analysis of Large Probabilistic Systems.- Probabilistic Methods in State Space Analysis.- Deductive Verification of Stochastic Systems.- Analysing Randomized Distributed Algorithms.- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.- The Verification of Probabilistic Lossy Channel Systems.
Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.- An Overview of Probabilistic Process Algebras and Their Equivalences.- Model Checking of Stochastic Systems.- Verifying Qualitative Properties of Probabilistic Programs.- On Probabilistic Computation Tree Logic.- Model Checking for Probabilistic Timed Systems.- Representing Large State Spaces.- Serial Disk-Based Analysis of Large Stochastic Models.- Kronecker Based Matrix Representations for Large Markov Models.- Symbolic Representations and Analysis of Large Probabilistic Systems.- Probabilistic Methods in State Space Analysis.- Deductive Verification of Stochastic Systems.- Analysing Randomized Distributed Algorithms.- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.- The Verification of Probabilistic Lossy Channel Systems.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
