Computer Aided Verification 19th International Conference Cav 2007 Berlin Germany July 3 7 2007 Proceedings(2007 Edition)
Authors:
Werner Damm ,Holger Hermanns
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540733671, 978-3540733676
Book publisher: Springer
Frequently Bought Together
Direct Hits Toughest Vocabulary Of The SAT Volume 2 - 2011 - 2011 Edition
Larry Krieger
ISBN: 0981818463, 978-0981818467
$0 $31.97
Miller European Accounting Guide - 4th Edition
Author Unknown
ISBN: 015607236X, 978-0156072366
$0 $18.27
Personal Finance Building Your Future - 1st edition
Robert B. Walker
ISBN: 9780077861728, 978-0073530659
$0 $77.47
Essentials Of Federal Taxation 2018 - 9th Edition
Brian Spilker
ISBN: 1260007642, 978-1260150292, 1260150291, 978-1260007640
$0 $17.09
Advances In Grid Computing Egc 2005 European Grid Conference Amsterdam The Netherlands February 14 2005 - 2005 Edition
P.M.A. Sloot
ISBN: 3540269185, 978-3540269182
$0 $38.88
Practical Aspects Of Declarative Languages 5th International Symposium Padl 2003 New Orleans La Usa January 13 14 2003 Proceedings - 2003rd Edition
Veronica Dahl
ISBN: 3540003894, 978-3540003892
$0 $41.16