Isabelle/HOL A Proof Assistant For Higher Order Logic(2002nd Edition)
Authors:
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540433767, 978-3540433767
Book publisher: Springer
Frequently Bought Together
Management Accounting Information For Decision Making And Strategy Execution - International 6th Edition
Anthony A. Atkinson
ISBN: 0273769987, 9780273769989
$0 $19.98
Mesoporous Organic Inorganic Non Siliceous Hybrid Materials Basic Principles And Promising Multifunctionality - 2015th Edition
Yun Pei Zhu
ISBN: 3662456338, 978-3662456330
$0 $54.99
Essentials Of Federal Taxation 2018 - 9th Edition
Brian Spilker
ISBN: 1260007642, 978-1260150292, 1260150291, 978-1260007640
$0 $17.09
Crafting And Executing Strategy Concepts And Readings - 20th Edition
Arthur Thompson
ISBN: 1259297071, 9781259297076
$0 $204.52
Toxic Bodies Hormone Disruptors And The Legacy Of DES - 1st Edition
Nancy Langston
ISBN: 0300171374, 978-0300171372
$0 $23.95
Lexi Comps Drug Information Handbook For Dentistry - 15th Edition
Richard L Wynn
ISBN: 1591952697, 978-1591952695
$0 $4.06