Představení autora Matthias Felleisen:

Doposud vydané knihy od Matthias Felleisen:

Jak navrhovat programy, druhé vydání: Úvod do programování a výpočetní techniky, druhé vydání - How...

Zcela přepracované vydání, které nabízí nové...

Sémantické inženýrství s PLT Redex - Semantics Engineering with PLT Redex

První ucelená prezentace redukční sémantiky v jednom svazku a první sada nástrojů pro...