Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science 4595 (Paperback)
  • Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science 4595 (Paperback)
zoom

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science 4595 (Paperback)

(editor), (editor)
£59.99
Paperback 285 Pages / Published: 21/06/2007
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540733690
Number of pages: 285
Weight: 462 g
Dimensions: 235 x 155 x 15 mm
Edition: 2007 ed.

You may also be interested in...

Agile Product Management with Scrum
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Continuous Delivery
Added to basket
£43.99
Hardback
Kanban
Added to basket
£33.55
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Peopleware
Added to basket
£32.99
Paperback
Git Pocket Guide
Added to basket
User Stories Applied
Added to basket
£40.99
Paperback
The Clean Coder
Added to basket
£32.99
Paperback
Coaching Agile Teams
Added to basket
The Mythical Man-Month
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.