Your Waterstones card is changing, introducing...
TELL ME MORE
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Theoretical Computer Science and General Issues 7976 (Paperback)
  • Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Theoretical Computer Science and General Issues 7976 (Paperback)
zoom

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Theoretical Computer Science and General Issues 7976 (Paperback)

(editor), (editor)
£44.99
Paperback 377 Pages / Published: 19/07/2013
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642391750
Number of pages: 377
Weight: 593 g
Dimensions: 235 x 155 x 20 mm
Edition: 2013 ed.

You may also be interested in...

Test Driven Development
Added to basket
Designing Data-Intensive Applications
Added to basket
Implementing Domain-Driven Design
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
User Stories Applied
Added to basket
£40.99
Paperback
Git Pocket Guide
Added to basket
Kanban
Added to basket
£33.55
Paperback
The Clean Coder
Added to basket
£32.99
Paperback
Agile Product Management with Scrum
Added to basket
Continuous Delivery
Added to basket
£43.99
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Peopleware
Added to basket
£32.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.