![[-]](/~mskrzypczak/sings/up.png){kind=small}
|
Program Semantics and Verification, class, winter 2010/11 |
Lecturer: Prof. Andrzej Tarlecki. Lecture's homepage: http://www.mimuw.edu.pl/~tarlecki/teaching/semwer/index.html. Lecture's time and place: mondays, 12:15-14:00, room 5440. Class' time and place: wednesdays, 8:30-10:00, room 3140. Materials: http://wazniak.mimuw.edu.pl/index.php?title=Semantyka_i_weryfikacja_program%C3%B3w.
last modification: 12:47 17.03.2012