Non-Fiction, Computing & Technology, Computing Basics & Reference
Computer Aided Verification

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

,
Paperback Published on: 17/06/2008
£90.00
No reviews yet, be the first
Free UK delivery on orders over £25
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540705437
  • Number of pages: 558
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Art of Computer Programming, The
Donald E. Knuth
£59.49
Algorithms Unlocked
Thomas H. Cormen
£29.00
Algorithms
Robert Sedgewick
£66.49
Game Feel
Steve Swink
£49.99
Fundamentals of Game Design
Ernest Adams
£51.99
Implementing Domain-Driven Design
Vaughn Vernon
£47.99
Design Patterns
Erich Gamma
£48.99
The Mythical Man-Month
Theory of Fun for Game Design
Raph Koster
£35.99
C Programming Language
Brian W. Kernighan
£49.99
JavaScript and jQuery
Jon Duckett
£30.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
User Story Mapping
Jeff Patton
£31.99
Designing Data-Intensive Applications
Martin Kleppmann
£47.99
Git Pocket Guide
Richard Silverman
£19.99