Computing and Information Technology, Computer Programming / Software Engineering, Software Engineering
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : Proceedings

,
Paperback Published on: 03/01/2007
£44.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Publisher information

  • Publisher: Springer Berlin Heidelberg
  • ISBN: 9783540697350
  • Number of pages: 394
  • Dimensions: 234 x 156 x 21 mm
  • Weight: 576g
  • Languages: English