Sémantika programovacích jazyků - NTIN044

Přehled základních metod popisu sémantiky programovacích jazyků. Možnosti využití formálního popisu sémantiky při konstrukci a verifikaci softwarových produktů. Na seminářích modelové příklady sémantiky.