![Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis](https://bilder.buecher.de/produkte/10/10117/10117401m.jpg)
40,99 €
Versandkostenfrei*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 Computer Aided Verification](https://bilder.buecher.de/produkte/22/22947/22947853m.jpg)
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 Validation of Stochastic Systems](https://bilder.buecher.de/produkte/13/13127/13127873m.jpg)
40,99 €
Versandkostenfrei*Broschiertes Buch
A Guide to Current Research
2004
11. August 2004
Springer, Berlin
11015703
Ähnlichkeitssuche: Fact®Finder von OMIKRON