Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
by Moonzoo Kim
| Publisher: | Springer |
| Published In: | 06-Oct-2008 |
| ISBN-10: | 354088386X |
| ISBN-13: | 9783540883869 |
| Binding Type: | Paperback |
| Weight: | 1.72 lbs |
| Pages: | pp. 450, Illus. |
The Title "Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering) 1st Edition" is written by Moonzoo Kim. This book was published in the year 2008. The ISBN number 354088386X|9783540883869 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 + 430 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering) 1st Edition is currently Available with us.