Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Validation of Stochastic Systems : A Guide to Current Research

Validation of Stochastic Systems : A Guide to Current Research

by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle Paperback 2004

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
  • ISBN 13: 9783540222651
  • ISBN 10: 3540222650
  • Publication Year: 2004
  • Language: English

Specifications

Index-10 3540222650
Index-13 9783540222651
Language English

✨ Readers also enjoyed...

View All →
CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

CONCUR 2006 - Concurrency Theory :…

Christel Baier, Holger Hermanns

Inquire
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferenc

Foundations of Software Science an…

Christel Baier, Ugo Dal Lago

Inquire
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lim

SOFSEM 2017: Theory and Practice o…

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Christel Baier, Cesare Tinelli

Inquire
Carolinian Goes to War

Carolinian Goes to War

R. Lockwood Tower, Thomas I. Connelly

Inquire