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.
- Teacher: Karel Richta
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.