Nie jesteś zalogowany |
HAHA
- Prelegent(ci)
- Tadeusz Sznuk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 19 marca 2012 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Zamierzam powiedzieć mniej więcej to samo, co poprzednio, czyli do czego to narzędzie ma służyć i jak ma działać. Z tą różnicą, że zamiast slajdów będę się posługiwał prototypem implementacji.
