Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science (1217), Band 1217)
von
Ed Brinksma
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-62790-6
ISBN-10: 3-540-62790-1
Springer
· 2008
