Non-Fiction, Computing & Internet
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

,
Paperback Published on: 10/01/2018
£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: 9783319737201
  • Number of pages: 540
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Programming Erlang 2ed
Joe Armstrong
£33.50
Mining Software Specifications
David Lo
£210
Software System Design Methods
Josef K. Skwirzynski
£89.99
Implementing Domain-Driven Design
Vaughn Vernon
£47.99
Design Patterns
Erich Gamma
£48.99
The Mythical Man-Month
Essential Scrum
Kenneth Rubin
£39.99
97 Things Every Software Architect Should Know
Richard Monson-Haefel
£27.99
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
The Agile Samurai
Jonathan Rasmusson
£27.99
Designing Data-Intensive Applications
Martin Kleppmann
£47.99
Software Maintenance Success Recipes
Donald J. Reifer
£87.99
Beautiful Code
Andy Oram
£35.99
Enterprise Cloud Computing
Gautam Shroff
£37.00