Nie jesteś zalogowany |
Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną -- work in progress
- Prelegent(ci)
- Artur Zawłocki
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 30 marca 2009 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
