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 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

by  
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings,3540472371,9783540472377

Paperback

£ 90.00

£ 40.58
Save £ 49.42

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:10-Oct-2006
ISBN-10:3540472371
ISBN-13:9783540472377
Binding Type:Paperback
Weight:826 gms
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. 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.

Related Books

Analysis III Spaces of Differentiable Functions,3540518665,9783540518662
86 %

Analysis III Spaces ...

J. Peetre, Serg ...

List Price: £ 109.99

Our Price: £ 14.99

Aspects of Ecology and Zoogeography of Recent and Fossil Ostracoda,9061935814,9789061935810
26 %

Aspects of Ecology a ...

Heinz Loffler, ...

List Price: £ 280.00

Our Price: £ 205.99

Robust Control of Linear Systems and Nonlinear Control Proceedings of the International Symposium Mtns-89, Volume II Vol. 2,0817634703,9780817634704
31 %

Robust Control of Li ...

M. A. Kaashoek, ...

List Price: £ 109.99

Our Price: £ 75.50

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures,3540921877,9783540921875
45 %

Formal Methods for C ...

Marcello M. Bon ...

List Price: £ 62.99

Our Price: £ 34.41

Communicating Risks to the Public International Perspectives,0792306015,9780792306016
43 %

Communicating Risks ...

R.E Kasperson, ...

List Price: £ 249.99

Our Price: £ 141.55

Early Deism in France From the so-called 'déistes' of Lyon (1564) to Voltaire's 'Lettres philosophiques' (1734),9024729238,9789024729234

Early Deism in Franc ...

C.J. Betts

Our Price: £ 214.99