Isabelle/HOL

Author: Tobias Nipkow
Edition: 2002
Binding: Paperback
ISBN: 3540433767

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

Get Isabelle/HOL computer books for free.
Check Isabelle/HOL our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

Isabelle/HOL Download

Related Computer Books

Pattern Calculus: Computing with Functions and Structures

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calc

Handbook of Practical Logic and Automated Reasoning

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimu