Isabelle/HOL

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

A Proof Assistant for Higher-Order Logic

Szerző: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

24 884 Ft

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

Információk a könyvről

Szerző

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2002

oldal

226

EAN

9783540433767

ISBN

3540433767

Enbook ID

01564177

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

370

Méretek

235 x 157 x 19

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták