Rok akademicki 99/00
- Seminarium ,,Semantyka i specifikacja'' :
- Zespolowy projekt programistyczny :
- Metody programowania :
- Ćwiczenia z semantyki i weryfikacji :
- literatura:
- M. Gordon Denotacyjny opis języków programowania, WNT 1983.
- G. Winskel ?
- H.R. Nielson, F. Nielson Semantics with Applications. A Formal Introduction.
[.ps.gz].
- Laboratorium z programowania obiektowego :
- Ćwiczenia z JAO, ZSI :
- Ćwiczenia z TP, ZSI :
Konsultacje: srody, 13:45-15;15, pokoj 4370.
Dawniej...
sl malpa mimuw