Isabelle/HOL

Name: Isabelle/HOL
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540433767
Price: 1374 CZK
Availability: InStock

A Proof Assistant for Higher-Order Logic

Autor: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 374 Kč

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an...

Informace o knize

Autor

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2002

Stránek

226

EAN

9783540433767

ISBN

3540433767

Enbook ID

01564177

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

370

Rozměry

235 x 157 x 19

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také