Go back
Isabelle/HOL A Proof Assistant For Higher Order Logic(2002nd Edition)
Authors:
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $47.29
Savings: $47.29(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Isabelle/HOL A Proof Assistant For Higher Order Logic
Price:
$9.99
/month
Book details
ISBN: 3540433767, 978-3540433767
Book publisher: Springer
Frequently Bought Together
Introduction to Information Systems - 2nd edition
Patricia Wallace
ISBN: 9780133807486, 133571750, 133807487, 978-0133571752
$0 $237.47
RP2040 Assembly Language Programming ARM Cortex M0 On The Raspberry Pi Pico - 1st Edition
Stephen Smith
ISBN: 148427752X, 978-1484277522
$0 $44.05
South-Western Federal Taxation 2020 Essentials Of Taxation Individuals And Business Entities - 23rd Edition
Annette Nellen
ISBN: 357109171, 978-0357109175
$0 $53.98
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