Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr

by Farn Wang

It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri'cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31-... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540236104
• ISBN13: 9783540236108
• Release Date: October 2004
• Publisher: Springer
• Length: 510 Pages
• Weight: 1.70 lbs.
• Dimensions: 1.2" x 6.1" x 9.1"