Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Fast conference proceedings.-State-of-the-art report.-Up to date results

• Format: Paperback
• Language: English
• ISBN: 3642333850
• ISBN13: 9783642333859
• Release Date: August 2012
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"