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
>>