Springer
Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Product Code:
9783642333859
ISBN13:
9783642333859
Condition:
New
$61.47
Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
$61.47
Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
| Author: Madhavan Mukund |
| Publisher: Springer |
| Publication Date: Aug 16, 2012 |
| Number of Pages: 438 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642333850 |
| ISBN-13: 9783642333859 |
Related Products
