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 (4963), Band 4963)

von C.R. Ramakrishnan

Taschenbuch

ISBN-13: 978-3-540-78799-0

ISBN-10: 3-540-78799-2

Siehe auch (möglicherweise von anderen Autoren):
2011	Taschenbuch	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)