Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... Notes in Computer Science (1055), Band 1055)
von:
Bernhard Steffen
·
Tiziana Margaria
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-61042-7
ISBN-10: 3-540-61042-1
Springer
· 2008
