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

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

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

Paperback

£ 67.99

£ 36.28
Save £ 31.71

Enquire about this book

Available

Usually Ships in 4 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:25-Jul-2008
ISBN-10:3540851135
ISBN-13:9783540851134
Binding Type:Paperback
Weight:603 gms
Pages:pp. 358, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

The Title "Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings" is written by Klaus Havelund. This book was published in the year 2008. The ISBN number 3540851135|9783540851134 is assigned to the Hardback version of this title. This book has total of pp. x + 343 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings is currently Available with us.

Related Books

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
39 %

Formal Approaches to ...

Klaus Havelund, ...

List Price: £ 62.99

Our Price: £ 38.37

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

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

Probability in Banac ...

A. Beck

Our Price: £ 28.30

Categorical Aspects of Topology and Analysis Proceedings of an International Conference Held at Carleton University, Ottawa, August 11-15, 1981,3540112111,9783540112112

Categorical Aspects ...

B. Banaschewski

Our Price: £ 28.83

Equadiff 82 Proceedings of the International Conference Held in Wurzburg, Frg, August 23-28, 1982,3540126864,9783540126867

Equadiff 82 Proceedi ...

H. W. Knobloch, ...

Our Price: £ 45.98

Graph Theory Proceedings of a Conference Held in Lagow, Poland, February 10-13, 1981,3540126872,9783540126874

Graph Theory Proceed ...

M. Borowiecki, ...

Our Price: £ 28.33