Home > All Books > Best Sellers > Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

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

Best Price: Rs. 5,617 - Rs. 6,953 Compare prices from 5 sellers »

Book Details

Dimensions
Width	6.14 inch
Height	0.91 inch
Weight	626 g
Format
Binding	Paperback
Overview
Number of Pages	436 Pages
Series Name	Lecture Notes in Computer Science / Programming and Software Engineering
Publisher	Springer
Publication Year	2012
ISBN-13	9783642333859
ISBN-10	3642333850
Language	English

Bookss Local Stores

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

COD EMI Return Policy Discount Coupons

Return Policy : 30 days Cash on Delivery ; EMI	2-10 Working Days	5,617.00 Rs. 5,617 + FREE Shipping	Buy Now
Return Policy Cash on Delivery ; EMI		5,905.00 Rs. 5,905 + FREE Shipping	Buy Now
Return Policy Cash on Delivery ; EMI		5,905.00 Rs. 5,905 + FREE Shipping	Buy Now
Return Policy Cash on Delivery ; EMI		6,175.00 Rs. 6,175 + FREE Shipping	Buy Now
Return Policy Cash on Delivery ; EMI		6,953.00 Rs. 6,953 + FREE Shipping	Buy Now