Non-Fiction, Computing & Technology, Computing Basics & Reference
Model Checking Software

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

,
Paperback Published on: 08/04/2016
£44.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer International Publishing AG
  • ISBN: 9783319325811
  • Number of pages: 245
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Clean Coder, The
Robert C. Martin
£36.99
MMIXware
Donald E. Knuth
£89.99
Domain-Driven Design
Eric Evans
£55.49
Mining Software Specifications
David Lo
£210
Implementing Domain-Driven Design
Vaughn Vernon
£47.99
Design Patterns
Erich Gamma
£48.99
The Mythical Man-Month
Coaching Agile Teams
Lyssa Adkins
£36.99
Succeeding with Agile
Mike Cohn
£38.49
Lessons Learned in Software Testing
Cem Kaner
£33.00
User Story Mapping
Jeff Patton
£31.99
Financial Instrument Pricing Using C++
Daniel J. Duffy
£74.00
Designing Data-Intensive Applications
Martin Kleppmann
£47.99
Git Pocket Guide
Richard Silverman
£19.99
Patterns of Enterprise Application Architecture
Martin Fowler
£51.99