Isabelle Image close
Isabelle by Lawrence C. Paulson
Isabelle by Lawrence C. Paulson
Show Hide Adult Content
Isabelle close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Isabelle

A Generic Theorem Prover
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$136.99
RRP:
$158.95 save $21.96
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 $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 3-15 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Brain Inspired Cognitive Systems
$179.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Conditional Term Rewriting Systems Save $23
$134.99
$158.95
Conditional Term Rewriting Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$134.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Business Process Management
$193.99
Business Process Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Database Technology - EDBT '88
$163.99
Advances in Database Technology - EDBT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '88 Save $59
$136.99
$196.95
ICDT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$123.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
The Semantic Web – ISWC 2022
$262.99
The Semantic Web – ISWC 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Performance Engineering and Stochastic Modelling
$181.99
Computer Performance Engineering and Stochastic Modelling
Paperback / softback
Available - Usually ships in 3-4 weeks
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
$192.99
Leveraging Applications of Formal Methods, Verification and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Diffusion MRI
$146.99
Computational Diffusion MRI
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$170.99
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
Release date Australia
July 28th, 1994
Audience
  • Professional & Vocational
Contributor
  • Contributions by T. Nipkow
Illustrations
XIX, 329 p.
Pages
329
Dimensions
156x234x18
ISBN-13
9783540582441
Product ID
2815086

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 Lawrence C. Paulson

See all books by this author

Isabelle/HOL by Tobias Nipkow
$146.99
Isabelle/HOL
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

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design