Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
by Susanne Graf
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 10-Oct-2006 |
| ISBN-10: | 3540472371 |
| ISBN-13: | 9783540472377 |
| Binding Type: | Paperback |
| Weight: | 1.82 lbs |
| Pages: | pp. 560, Illus. |
The Title "Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 1st Edition" is written by Susanne Graf. This book was published in the year 2006. The ISBN number 3540472371|9783540472377 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xiv + 540 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 1st Edition is currently Available with us.