Skip to main content
PBS logo
 
 

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

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Isabelle/HOL A Proof Assistant for HigherOrder Logic - Lecture Notes in Computer Science
Author: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of me...  more »
ISBN-13: 9783540433767
ISBN-10: 3540433767
Publication Date: 5/3/2002
Pages: 218
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.