An edition of Validation of stochastic systems
(2004)
Validation of Stochastic Systems
A Guide to Current Research (Lecture Notes in Computer Science)
1 edition
by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Validation of Stochastic Systems: A Guide to Current Research
2004, Springer London, Limited
in English
3540246118 9783540246114
|
zzzz
|
2
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
October 5, 2004, Springer, Springer-Verlag
Hardcover
in English
- 1 edition
3540222650 9783540222651
|
aaaa
|
Book Details
First Sentence
"The notion of a state machine has proved useful in many modelling situations, amongst others, the area of validation of stochastic systems."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| August 19, 2020 | Edited by ImportBot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |