Isabelle/HOL

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

A Proof Assistant for Higher-Order Logic

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

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

59.97 €

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

Informácie o knihe

Autor

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2002

Stránok

226

EAN

9783540433767

ISBN

3540433767

Enbook ID

01564177

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

370

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež