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

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

by  
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers,3540496998,9783540496991

Paperback

$ 99.00

$ 52.37
Save $ 46.63

Enquire about this book

Available

Usually Ships in 15 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:07-Dec-2006
ISBN-10:3540496998
ISBN-13:9783540496991
Binding Type:Paperback
Weight:1.06 lbs
Pages:pp. 272, Illus.

The Title "Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers 1st Edition" is written by Klaus Havelund. This book was published in the year 2007. The ISBN number 3540496998|9783540496991 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. viii + 255 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers 1st Edition is currently Available with us.

Related Books

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

Aspects of Ecology and Zo ...

Heinz Loffler, ...

List Price: $ 389.00

Our Price: $ 256.88

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

Robust Control of Linear ...

M. A. Kaashoek, ...

List Price: $ 149.99

Our Price: $ 109.73

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings,3540851135,9783540851134
50 %

Model Checking Software 1 ...

Klaus Havelund, ...

List Price: $ 109.00

Our Price: $ 53.99

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

Communicating Risks to th ...

R.E Kasperson, ...

List Price: $ 349.99

Our Price: $ 195.74

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

Early Deism in France Fro ...

C.J. Betts

Our Price: $ 308.29

Probability in Banach Spaces III Proceedings of the Third International Conference on Probability in Banach Spaces, Held at Tufts University, Medford, USA, August 4-16, 1980,354010822X,9783540108221
8 %

Probability in Banach Spa ...

A. Beck

List Price: $ 46.00

Our Price: $ 42.42