Validation of Stochastic Systems
Editat de Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegleen Limba Engleză Paperback – 11 aug 2004
Preț: 386.97 lei
Puncte Express: 580
Carte tipărită la comandă
Livrare economică 14-28 septembrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540222651
ISBN-10: 3540222650
Pagini: 480
Ilustrații: VIII, 472 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540222650
Pagini: 480
Ilustrații: VIII, 472 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
How to Lie with StatisticsDarrell Huff-33%Preț: 60.38 lei90.09 lei -
Clustering Methodology for Symbolic DataLynne Billard-8%Preț: 557.04 lei605.48 lei -
Preț: 267.88 lei -
Introduction to Statistical Analysis of Laboratory DataAlfred Bartolucci-9%Preț: 748.04 lei822.02 lei -
-23%Preț: 515.43 lei669.39 lei -
A Panorama of StatisticsEric SoweyPreț: 359.41 lei -
Classic Topics on the History of Modern Mathematical StatisticsPrakash Gorroochurn-9%Preț: 836.95 lei919.72 lei -
A Course in Statistics with RPrabhanjan N Tattar-20%Preț: 667.53 lei834.41 lei -
Statistics from A to ZAndrew A JawlikPreț: 326.60 lei -
Quantitative Evaluation of SystemsJavier Campos-20%Preț: 324.61 lei405.76 lei -
Fathom 2Rolf BiehlerPreț: 312.40 lei -
Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen-20%Preț: 332.39 lei415.48 lei -
Interactive Markov ChainsHolger HermannsPreț: 372.42 lei -
Computer Performance Evaluation. Modelling Techniques and ToolsBoudewijn R. Haverkort-20%Preț: 327.48 lei409.36 lei -
Computer Aided VerificationWerner Damm-20%Preț: 336.71 lei420.88 lei -
-20%Preț: 358.70 lei448.37 lei
Public țintă
ResearchCuprins
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.