Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select

By Tiziana Margaria, Kim G. Larsen, W. Rance Cleaveland

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540606300
• ISBN13: 9783540606307
• Release Date: November 1995
• Publisher: Springer
• Length: 298 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"