Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
by Kedar Namjoshi
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 09-Oct-2007 |
| ISBN-10: | 3540755950 |
| ISBN-13: | 9783540755951 |
| Binding Type: | Paperback |
| Weight: | 962 gms |
| Pages: | pp. 586, Illus. |
The Title "Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 1st Edition" is written by Kedar Namjoshi. This book was published in the year 2007. The ISBN number 3540755950|9783540755951 is assigned to the Paperback version of this title. This book has total of pp. xiv + 566 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 1st Edition is currently Available with us.