Non-Fiction, Computing & Internet
Computer Aided Verification

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

,
Paperback Published on: 13/07/2019
£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 Nature Switzerland AG
  • ISBN: 9783030255398
  • Number of pages: 673
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Programming Erlang 2ed
Joe Armstrong
£33.50
MMIXware
Donald E. Knuth
£89.99
Domain-Driven Design
Eric Evans
£55.49
Mining Software Specifications
David Lo
£210
Pro Git
Scott Chacon
£35.50
Implementing Domain-Driven Design
Vaughn Vernon
£47.99
Design Patterns
Erich Gamma
£48.99
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
Seven Languages in Seven Weeks
Bruce A Tate
£27.99
Producing Open Source Software
Karl Fogel
£19.99
Beautiful Code
Andy Oram
£35.99
Git Pocket Guide
Richard Silverman
£19.99
Patterns of Enterprise Application Architecture
Martin Fowler
£51.99