Nie jesteś zalogowany |
Konstrukcje architekturalne w kategorii fragmentów
- Prelegent(ci)
- Grzegorz Marczyński
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 20 grudnia 2010 10:15
- Pokój
- p. 5850
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Na seminarium opowiem o kowariantnych sygnaturach i modelach konstrukcji architekturalnych oraz o ich składaniu. Pokażę też przykłady takich konstrukcji w kategorii fragmentów sygnatur algebraicznych z zależnościami.
