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

Viac informácií o knihe Isabelle

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

Nákupom získate 125 bodov

Anotácia knihy

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Celý názov: Isabelle
• Podnázov: A Generic Theorem Prover
• Autor: Lawrence C. Paulson, Tobias Nipkow
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 329
• EAN: 9783540582441
• ISBN: 3540582444
• ID: 02780943
• Nakladateľ: Springer, Berlin
• Hmotnosť: 535 g
• Rozmery: 234 × 156 × 18 mm
• Rok vydania: 1994

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

---

---

---