Go back

Automated Technology For Verification And Analysis Third International Symposium Atva 2005 Taipei Taiwan October 4 7 2005 Proceedings(2005 Edition)

Authors:

Doron A. Peled ,Yih-Kuen Tsay

Free automated technology for verification and analysis third international symposium atva 2005 taipei taiwan
14 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $38.88 Savings: $38.88(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Automated Technology For Verification And Analysis Third International Symposium Atva 2005 Taipei Taiwan October 4 7 2005 Proceedings

Price:

$9.99

/month

Book details

ISBN: 3540292098, 978-3540292098

Book publisher: Springer