Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science (1019), Band 1019)
von:
Kim G. Larsen
·
Bernhard Steffen
·
Tiziana Margaria
·
W. Rance Cleaveland
·
Ed Brinksma
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-60630-7
ISBN-10: 3-540-60630-0
Springer
· 2008