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

Algorithms

von: Christel Baier · Cesare Tinelli

Taschenbuch

ISBN: 978-3-662-46680-3

ISBN-10: 3-662-46680-5

Springer · 2015

Siehe auch (möglicherweise 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)
2014TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 8413)
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)