Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ...

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbr cken, Germany,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642198341
• ISBN13: 9783642198342
• Release Date: March 2011
• Publisher: Springer
• Length: 394 Pages
• Weight: 1.35 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"