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)

Construction

von: Kim G. Larsen · Bernhard Steffen · Tiziana Margaria · W. Rance Cleaveland · Ed Brinksma

Taschenbuch

ISBN: 978-3-540-60630-7

ISBN-10: 3-540-60630-0

Springer · 2008