The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

by  
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings,354088386X,9783540883869

Paperback

$ 119.00

$ 59.58
Save $ 59.42

Enquire about this book

Available

Usually Ships in 21 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

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.

Related Books

Homology in Group Theory,3540065695,9783540065692
26 %

Homology in Group Theory

Urs Stammbach

List Price: $ 39.95

Our Price: $ 29.71

Pollution Engineering and Scientific Solutions,030636302X,9780306363023
29 %

Pollution Engineering and ...

E.S. Barrekette

List Price: $ 279.99

Our Price: $ 199.59

Radiowave Propagation Over Ground Software,0412546809,9780412546808
27 %

Radiowave Propagation Ove ...

Z. Wu, J. MacLe ...

List Price: $ 549.99

Our Price: $ 398.99

Several Complex Variables. Maryland 1970. Proceedings of the International Mathematical Conference, Held at College Park, April 6-17, 1970 Part 2,3540053727,9783540053729
21 %

Several Complex Variables ...

John Horvath

List Price: $ 59.95

Our Price: $ 47.20

Etapes International,2350170926,9782350170923

Etapes International

Michel Chanaud, ...

Our Price: $ 20.25