Verified Functional Programming in Agda
af Aaron Stump
Bog, Hardback, Engelsk, 2016
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- Bogreolen1.307,95 kr.0,00 kr.2-4 ugerKøb for 1.307,95 kr.Køb
- Tales1.308,95 kr.34,95 kr.2-4 ugerKøb for 1.308,95 kr.Køb
- Pling BØGER1.308,95 kr.34,95 kr.2-4 ugerKøb for 1.308,95 kr.Køb
- SAXO1.309,95 kr.Gratis fragtUkendtKøb for 1.309,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9781970001273
- Udgivet29/02/2016
- Udgivet afMorgan & Claypool Publishers
- Længde284 sider
- ForfatterAaron Stump
- GenreBusiness og læring, Computer og IT