Verified Functional Programming in Agda
Autor:
Aaron Stump
Dostupnosť:
Skladom u dodávateľa
Odosielame za 10-18 dní
104.59
€
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr...
