Ts&Cs
apply
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science 2648 (Paperback)
  • Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science 2648 (Paperback)
zoom

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science 2648 (Paperback)

(editor), (editor)
£62.99
Paperback 241 Pages / Published: 28/04/2003
  • We can order this from the publisher

UK delivery within 3-4 weeks

  • This item has been added to your basket

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.

The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540401179
Number of pages: 241
Weight: 400 g
Dimensions: 233 x 155 x 13 mm
Edition: 2003 ed.

You may also be interested in...

Agile Transformation
Added to basket
Data Analysis and Graphics Using R
Added to basket
Big Data For Dummies
Added to basket
£25.99
Paperback
Excel 2010 All-in-One For Dummies
Added to basket
Discovering Statistics Using R
Added to basket
Large-Scale Scrum
Added to basket
£29.49
Paperback
Code Complete
Added to basket
£40.49
Paperback
Slide:ology
Added to basket
£31.99
Paperback
M Is for (Data) Monkey
Added to basket
£30.99
Paperback
Great Demo!
Added to basket
£12.67
Paperback
Step by Step Spreadsheets
Added to basket
Business Analysis For Beginners
Added to basket
The Manga Guide To Statistics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.