Představení autora C. Pierce Benjamin:

Doposud vydané knihy od C. Pierce Benjamin:

Typy a programovací jazyky - Types and Programming Languages
Mit Pr
Komplexní úvod do typových systémů a programovacích jazyků. Typový systém je syntaktická metoda pro...
Typy a programovací jazyky - Types and Programming Languages
Základy teorie kategorií pro informatiky - Basic Category Theory for Computer Scientists
Mit Pr
Basic Category Theory for Computer Scientists poskytuje...
Základy teorie kategorií pro informatiky - Basic Category Theory for Computer Scientists
Pokročilá témata v typech a programovacích jazycích - Advanced Topics in Types and Programming...
Mit Pr
Důkladný a přístupný úvod do řady klíčových...
Pokročilá témata v typech a programovacích jazycích - Advanced Topics in Types and Programming Languages
<<
1
>>