E-Book, Englisch, Band 8453, 281 Seiten
Remke / Stoelinga Stochastic Model Checking
Erscheinungsjahr 2014
ISBN: 978-3-662-45489-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
E-Book, Englisch, Band 8453, 281 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-662-45489-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




