Aktualności — Wydarzenia
SLIWOWICA
O semantyce specyfikacji structuralnych zorientowanej na własności
Seminarium Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji (SLIWOWICA)
Prelegent: Andrzej Tarlecki
2011-10-24 10:15
2011-10-23
Patryk Czarnik
Nie jesteś zalogowany | zaloguj się
