Mohlo by sa vám tiež páčiť

Viac informácií o knihe Isabelle/HOL

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 191 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Philosophy: logic

• Celý názov: Isabelle/HOL
• Podnázov: A Proof Assistant for Higher-Order Logic
• Autor: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 226
• EAN: 9783540433767
• ISBN: 3540433767
• ID: 01564177
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 370 g
• Rozmery: 157 × 235 × 19 mm
• Dátum vydania: 03. April 2002

Obľúbené z iného súdka

---

---

---