Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science (4424), Band 4424)

von: Orna Grumberg · Michael Huth Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-71208-4 ISBN-10: 3-540-71208-9 Springer · 2009