Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... (Lecture Notes in Computer Science, 1055)

ISBN-13: 9783540610427

ISBN-10: 3540610421

Edition: 1996

Binding: Paperback

Publisher: Springer

Published: 1996-03-20

Sell this book           Buy or Rent?