Katedra Automatyki
Wydział EAIiE
AGH
Jesteś tutaj:
start
»
explicite
»
terminarz
Nawigacja
Aktualności
Nasze sukcesy
Pracownicy
Badania naukowe
Publikacje
CSL Technical Reports
R&D Reports
Koło naukowe Noesis
Seminarium naukowe Explicite
Zajęcia dydaktyczne
Studia podyplomowe
Laboratoria dydaktyczne
Seminarium Explicite
Forma seminarium
Komitet organizacyjny
Terminarz
Archiwum
Ostatnie zmiany
Odnośniki
Indeks
Zaloguj
Najbliższe seminarium
15.10.2010, godz. 09.30, C3, (sala do ustalenia)
Costin Badica, Amelia Badica:
Formal Specification and Verification of Middle-Agents
Kolejne spotkania
04.11.2010, godz. 09:45, C3, 201
09.12.2010, godz. 09:45, C3, 201
20.01.2011, godz. 09:45, C3, 201
explicite/terminarz.txt · ostatnio zmienione: 2010/09/02 12:06 przez gjn