Zpět na domovskou stránku.
Osnovu předmětu naleznete zde.
Literatura: K. Richta, J. Velebil: Sémantika programovacích jazyků, skriptum MFF UK, 169 stran., nakladatelství Karolinum, Praha 1996