The Mega Online Bookshop
Welcome Guest | Login | Home | Contact Us
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

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

£ 78.50

£ 40.36
Save £ 38.14

Enquire about this book

Available

Usually Ships in 14 Days.

Ships From London

Free Shipping within U.K

International Shipping?

Check Delivery Estimate and Delivery Charges for your country

Book Information

Publisher:Springer
Published In:06-Oct-2008
ISBN-10:354088386X
ISBN-13:9783540883869
Binding Type:Paperback
Weight:780 gms
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. 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
15 %

Homology in Group Th ...

Urs Stammbach

List Price: £ 22.99

Our Price: £ 19.45

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

Pollution Engineerin ...

E.S. Barrekette

List Price: £ 169.99

Our Price: £ 143.43

Radiowave Propagation Over Ground Software,0412546809,9780412546808
9 %

Radiowave Propagatio ...

Z. Wu, J. MacLe ...

List Price: £ 349.99

Our Price: £ 319.72

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

Several Complex Vari ...

John Horvath

List Price: £ 35.99

Our Price: £ 31.67