Suchergebnisse für ""Holger Herma""

18 Artikel

Lectures on Formal Methods and Performance Analysis
40,99 €
Versandkostenfrei*
Ed Brinksma / Holger Hermanns / Joost-Pieter Katoen (eds.)
Lectures on Formal Methods and Performance Analysis
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42479-6
Computer Aided Verification
Werner Damm (Volume ed.) / Holger Hermanns
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
2007
2. Juli 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-73367-6
Validation of Stochastic Systems
40,99 €
Versandkostenfrei*
Christel Baier / Boudewijn R. Haverkort / Holger Hermanns / Joost-Pieter Katoen / Markus Siegle (eds.)
Validation of Stochastic Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Guide to Current Research
2004
11. August 2004
Springer, Berlin
11015703


Ähnlichkeitssuche: Fact®Finder von OMIKRON