Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 9035)
von:
Christel Baier
·
Cesare Tinelli
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-662-46680-3
ISBN-10: 3-662-46680-5
Springer
· 2015
Siehe auch (möglicherweise von anderen Autoren):
2017
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10205)
2017
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 10206)
2014
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 8413)
2013
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7795)
2012
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 7214)
2010
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 6015)
2009
Taschenbuch
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 5505)