Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Notes in Computer Science, Band 6605)

von: Parosh Aziz Abdulla · K. Rustan M. Leino

Taschenbuch

ISBN-13: 978-3-642-19834-2

ISBN-10: 3-642-19834-1

Siehe auch (möglicherweise von anderen Autoren):
2008	Taschenbuch	Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Notes in Computer Science, Band 4963)