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

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)