Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 8413)

Algorithms

von: Erika Abraham · Klaus Havelund

Taschenbuch

ISBN: 978-3-642-54861-1

ISBN-10: 3-642-54861-X

Springer · 2014
S. auch (eventuell von anderen Autoren):
2017TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10205)
2017TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10206)
2015TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 9035)
2013TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7795)
2012TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7214)
2010TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 6015)
2009TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 5505)