PTI - Polskie Towarzystwo Informatyczne: Oddział Dolnośląski 

Informacje na temat autora pracy konkursowej

Imię i nazwisko Piotr Fusik
E-mail p.fusik...elka.pw.edu.pl
Tytuł pracy Model checking concurrent Java programs using Bandera and Cosma.
Data obrony 2004-02-25
Promotor dr inż. Andrzej Pająk
Uczelnia
Wydział
Instytut		 Politechnika Warszawska
Elektroniki i Technik Informacyjnych
Informatyki


Powrót

Zaloguj się

© 2002-2017 Polskie Towarzystwo Informatyczne Oddział Dolnośląski  -   Stopka redakcyjna
Ostatnia aktualizacja: 30 maja 2002    Dział redaguje: Paweł Mazur