Automated Technology For Verification And Analysis 5th International Symposium Atva 2007 Tokyo Japan October 22 25 2007 Proceedings(2007 Edition)
Authors:
Kedar Namjoshi ,Tomohiro Yoneda ,Teruo Higashino ,Yoshio Okamura
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3540755950, 978-3540755951
Book publisher: Springer
Frequently Bought Together
Escaping The 9 - 5 Trap Breaking The Chains Of Poverty - 1st Edition
Jesse Frimpong
ISBN: 979-8521813131
$0 $11.95
Math Therapy 5 Steps To Help Your Students Overcome Math Trauma And Build A Better Relationship With Math Corwin Mathematics Series - 1st Edition
Vanessa Vakharia
ISBN: 1071936875, 978-1071936870
$0 $39.95
Intermediate Accounting Volume 1 - 13th Canadian Edition
Donald E. Kieso
ISBN: 1119740460, 978-1119740469
$0 $125.00
Iphone 13 Pro User Guide The Complete Illustrated Manual Based On Ios 15 For Beginners And Seniors With Tips And Tricks - 1st Edition
Michael Eleazar
ISBN: 979-8426058859
$0 $23.24
Working Papers Financial Accounting - 1st Edition
Albert K Fisher
ISBN: 0131867660, 978-0131867666
$0 $73.88