Aaron Stump
Autor*in von Verified Functional Programming in Agda (Acm Books).
Alle Bücher von Aaron Stump
Verified Functional Programming in Agda (Acm Books)
Erschienen am 29.02.2016
Neue Rezensionen zu Aaron Stump
Neu
Zu diesem Autor gibt es noch keine Rezensionen.
Gespräche aus der Community
Neu
Bisher gibt es noch keine Gespräche aus der Community zum Buch. Starte mit "Neu" die erste Leserunde, Buchverlosung oder das erste Thema.
Welche Genres erwarten dich?
Community-Statistik
in 1 Bibliotheken
von 1 Leser*innen aktuell gelesen