Verified Functional Programming in Agda
Szerző:
Aaron Stump
Elérhetőség:
Beszállítói készleten
Küldés 10-18 napon belül
39 164
Ft
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr...
