Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science)

By Ed Brinksma

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540627901
• ISBN13: 9783540627906
• Release Date: March 1997
• Publisher: Springer
• Length: 437 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"