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

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Paperback Published on: 02/05/2001
£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-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540421245
  • Number of pages: 318
  • 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
Programming Erlang 2ed
Joe Armstrong
£33.50
MMIXware
Donald E. Knuth
£89.99
Mining Software Specifications
David Lo
£210
Pro Git
Scott Chacon
£35.50
Peopleware
Tom DeMarco
£33.49
Design Patterns
Erich Gamma
£48.99
The Mythical Man-Month
Essential Scrum
Kenneth Rubin
£39.99
Succeeding with Agile
Mike Cohn
£38.49
97 Things Every Software Architect Should Know
Richard Monson-Haefel
£27.99
Lessons Learned in Software Testing
Cem Kaner
£33.00
Financial Instrument Pricing Using C++
Daniel J. Duffy
£74.00
Beautiful Code
Andy Oram
£35.99
Enterprise Cloud Computing
Gautam Shroff
£37.00