| Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings 2012 Edition Contributor(s): Mukund, Madhavan (Editor), Chakraborty, Supratik (Editor) |
|
 |
ISBN: 3642333850 ISBN-13: 9783642333859 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: August 2012 |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Software Development & Engineering - General |
| Dewey: 511.3 |
| Series: Lecture Notes in Computer Science / Programming and Software |
| Physical Information: 0.91" H x 6.14" W x 9.21" (1.38 lbs) 438 pages |