Computer Aided Verification 15th International Conference Cav 2003 Boulder Co Usa July 8 12 2003 Proceedings(2003rd Edition)
Authors:
Warren A. Hunt Jr. ,Fabio Somenzi
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3540405240, 978-3540405245
Book publisher: Springer
Frequently Bought Together
Jumping From A To Z Teach Your Dog To Soar - 1st Edition
M Christine Zink
ISBN: 1888119004, 978-1888119008
$0 $24.95
Convexity From The Geometric Point Of View - 1st Edition
Vitor Balestro
ISBN: 3031505069, 978-3031505065
$0 $139.99
Business Communication In Person In Print Online - 8th Edition
Amy Newman
ISBN: 1111533164, 9781111533168
$0 $2.10
Intermediate Accounting Volume 1 - 13th Canadian Edition
Donald E. Kieso
ISBN: 1119740460, 978-1119740469
$0 $125.00
Applied Statistical Modelling For Ecologists A Practical Guide To Bayesian And Likelihood Inference Using R JAGS NIMBLE Stan And TMB - 1st Edition
Marc Kéry
ISBN: 0443137153, 978-0443137150
$0 $89.95
Cracking The Ai Code A Beginner S Guide To Artificial Intelligence - 1st Edition
Trust Molai
ISBN: 979-8858534488
$0 $60.00