Validation of Stochastic Systems
A Guide to Current Research
Series: Lecture Notes in Computer Science; 2925;
- Publisher's listprice EUR 53.49
-
22 184 Ft (21 128 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 437 Ft off)
- Discounted price 17 748 Ft (16 902 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
22 184 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 2004
- Publisher Springer Berlin Heidelberg
- Date of Publication 11 August 2004
- Number of Volumes 1 pieces, Book
- ISBN 9783540222651
- Binding Paperback
- No. of pages472 pages
- Size 235x155 mm
- Weight 1470 g
- Language English
- Illustrations VIII, 472 p. 0
Categories
Table of Contents:
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.
More
Space-Time Boundary Elements for Retarded Potential Integral Equations
14 931 HUF
14 184 HUF
