Verified Functional Programming in Agda
Autor:
Aaron Stump
Dostępność:
Dostępna u dostawcy
Wysyłamy za 10-18 dni
422.23
zł
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr...
