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...

Domain-Driven Design
Added to basket
£55.49
Hardback
Implementing Domain-Driven Design
Added to basket
Designing Data-Intensive Applications
Added to basket
Pro Git
Added to basket
£35.50
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Continuous Delivery
Added to basket
£44.49
Hardback
Clean Code
Added to basket
£36.99
Paperback
Coaching Agile Teams
Added to basket
The Mythical Man-Month
Added to basket
Peopleware
Added to basket
£33.49
Paperback
User Story Mapping
Added to basket
£31.99
Paperback
Mastering Regular Expressions
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
The Art of Unit Testing
Added to basket

Please sign in to write a review

Your review has been submitted successfully.