Computing and Information Technology, Graphical and Digital Media Applications, Computer-Aided Design (cad)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007

,
Paperback Published on: 09/10/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: 9783540755951
  • Number of pages: 566
  • Dimensions: 234 x 156 x 30 mm
  • Weight: 884g
  • Languages: English