Aaron Stump szerző bemutatása:

Aaron Stump szerző eddig megjelent könyvei:

Ellenőrzött funkcionális programozás az Agda-ban - Verified Functional Programming in Agda
Morgan & Claypool
Az Agda egy fejlett programozási nyelv, amely a...
Ellenőrzött funkcionális programozás az Agda-ban - Verified Functional Programming in Agda
Ellenőrzött funkcionális programozás az Agda-ban - Verified Functional Programming in Agda
Morgan & Claypool
Az Agda egy fejlett programozási nyelv, amely a...
Ellenőrzött funkcionális programozás az Agda-ban - Verified Functional Programming in Agda
<<
1
>>