Non-Fiction, Computing & Internet
Computer Aided Verification

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

,
Paperback Published on: 13/07/2017
£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.
View other formats and editions

Publisher information

  • Publisher: Springer International Publishing AG
  • ISBN: 9783319633893
  • Number of pages: 623
  • 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
Robert Sedgewick
£66.49
JavaScript Pocket Reference
David Flanagan
£19.99
Structure and Interpretation of Computer Programs
Harold Abelson
£76.00
Game Feel
Steve Swink
£49.99
Fundamentals of Game Design
Ernest Adams
£51.99
Design Patterns
Erich Gamma
£48.99
The Mythical Man-Month
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
Learning Python with Raspberry Pi
Alex Bradbury
£22.00
Python Pocket Reference
Mark Lutz
£19.99
Git Pocket Guide
Richard Silverman
£19.99