Items related to Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Softcover

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus

 
9783662182291: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Softcover
ISBN 10: 3662182297 ISBN 13: 9783662182291
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2014
  • ISBN 10 3662182297
  • ISBN 13 9783662182291
  • BindingPaperback
  • LanguageEnglish
  • Number of pages240

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540433767: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

Featured Edition

ISBN 10:  3540433767 ISBN 13:  9783540433767
Publisher: Springer, 2002
Softcover