Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Confe

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642287557
• ISBN13: 9783642287558
• Release Date: March 2012
• Publisher: Springer
• Length: 560 Pages
• Weight: 1.85 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"