Isabelle/HOL Image close
Isabelle/HOL by Tobias Nipkow
Isabelle/HOL by Tobias Nipkow
Show Hide Adult Content
Isabelle/HOL close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Isabelle/HOL

A Proof Assistant for Higher-Order Logic
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$144.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 21 Jun - 3 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$513.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 2024
Advances in Knowledge Discovery and Data Mining
$180.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 1 Jun 2024
Wisdom, Well-Being, Win-Win
$330.99
Wisdom, Well-Being, Win-Win
Paperback / softback
Pre-order - out Saturday
Evolutionary Computation in Combinatorial Optimization
$135.99
Evolutionary Computation in Combinatorial Optimization
Paperback / softback
Pre-order - out 2 Jun 2024
Mathematical Foundations of Programming Semantics Save $55
$141.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$136.99
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$134.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Computational Intelligence Save $55
$148.99
$204.95
Advances in Computational Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$118.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Practice of Model Transformations
$134.99
Theory and Practice of Model Transformations
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Aspects of Computer and Information Sciences Save $39
$145.99
$185.95
Mathematical Aspects of Computer and Information Sciences
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$118.99
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2016
$278.99
Computer Vision – ECCV 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$189.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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 meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
Release date Australia
April 3rd, 2002
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XIV, 226 p.
Pages
226
Dimensions
156x234x12
ISBN-13
9783540433767
Product ID
2796486

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Tobias Nipkow

See all books by this author

Concrete Semantics on Hardback by Tobias Nipkow
$206.99
Concrete Semantics
by Tobias Nipkow ~ Hardback
Available - Usually ships in 3-4 weeks
Concrete Semantics by Tobias Nipkow
$134.99
$136.95
Concrete Semantics
by Tobias Nipkow ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic and Computation by Lawrence C. Paulson
$151.99
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Isabelle by Lawrence C. Paulson Save $22
$135.99
$158.95
Isabelle
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Term Rewriting and All That by Franz Baader
$156.99
Term Rewriting and All That
by Franz Baader ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence