Predstavenie autora Aaron Stump:

Doterajšie vydané knihy od Aaron Stump:

Overené funkčné programovanie v Agde - Verified Functional Programming in Agda
Morgan & Claypool
Agda je pokročilý programovací jazyk založený na teórii typov. Typový...
Overené funkčné programovanie v Agde - Verified Functional Programming in Agda
Overené funkčné programovanie v Agde - Verified Functional Programming in Agda
Morgan & Claypool
Agda je pokročilý programovací jazyk založený na teórii typov. Typový...
Overené funkčné programovanie v Agde - Verified Functional Programming in Agda
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)