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

Viac informácií o knihe Verified Functional Programming in Agda

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

Nákupom získate 261 bodov

Anotácia knihy

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Verified Functional Programming in Agda
• Autor: Aaron Stump
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 284
• EAN: 9781970001273
• ISBN: 1970001275
• ID: 12519283
• Nakladateľ: Morgan & Claypool Publishers
• Hmotnosť: 633 g
• Rozmery: 235 × 191 × 18 mm
• Dátum vydania: 29. February 2016

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

---

---

---