Vorstellung des Autors Aaron Stump:

Bisher veröffentlichte Bücher von Aaron Stump:

Geprüfte funktionale Programmierung in Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda ist eine fortgeschrittene Programmiersprache, die auf der...
Geprüfte funktionale Programmierung in Agda - Verified Functional Programming in Agda
Geprüfte funktionale Programmierung in Agda - Verified Functional Programming in Agda
Morgan & Claypool
Agda ist eine fortgeschrittene Programmiersprache, die auf der...
Geprüfte funktionale Programmierung in Agda - Verified Functional Programming in Agda
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)