Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science): A Guide to Current Research (Lecture Notes in ... Notes in Computer Science (2925), Band 2925)
von
Christel Baier
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-22265-1
ISBN-10: 3-540-22265-0
Springer
· 2004
