Go back
Computer Aided Verification 1 International Conference Cav 2002 Copenhagen Denmark July 27 31 2002 Proceedings(2002nd Edition)
Authors:
Ed Brinksma ,Kim G. Larsen
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $10.00
Savings: $10(100%)
Book details
ISBN: 3540439978, 978-3540439974
Book publisher: Springer
Frequently Bought Together
Python GUI Using Tkinter Enjoy Live Coding Experience From The Beginning - 1st Edition
Jeet Das
ISBN: 979-8665952918
$0 $4.00
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
Personal Finance - 4th Canadian edition
Jeff Madura
ISBN: 134724712, 134724713, 9780134779782 , 978-0134724713
$0 $96.00
Gen Combo Looseleaf Financial And Managerial Accounting Connect Access Card - 7th Edition
John Wild
ISBN: 1260088693, 978-1260088694
$0 $226.76