Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Paperback Published on: 26/12/2015
Price: £44.99
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: 9783662491218
  • Number of pages: 558
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews