Home > > > Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings

0 stars by 0 votes
Google Book Preview of Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings
Write a Review

Best Price: Rs. 9,745 - Rs. 9,745 Compare prices from 1 sellers »

Book Details

Format
Binding Paperback
Overview
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Store Locator
Books Local Stores

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004, Proceedings Price in India

RediffBooks

Return Policy
Cash on Delivery ; EMI

9,745.00 Rs. 9,745 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert