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

Algorithms

von: Nir Piterman · Scott Smolka

Taschenbuch

ISBN-13: 978-3-642-36741-0

ISBN-10: 3-642-36741-0

Springer · 2013
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)
2014TaschenbuchTools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 8413)
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)