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

Algorithms

von: Javier Esparza · Rupak Majumdar

Taschenbuch

Details (Deutschland)

ISBN: 978-3-642-12001-5

ISBN-10: 3-642-12001-6

Springer · 2010

Siehe auch (möglicherweise von anderen Autoren):
2015	Taschenbuch	Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 9035)
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)
2009	Taschenbuch	Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, Band 5505)