You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Back to the list of the institutes

Publications

Marcin Engel

2011

Maciej Sysło, Wojciech Cellary, Krzysztof Diks, Andrzej Szałas, Jan Madey, Marcin Engel, Ryszard Tadeusiewicz, Jerzy Gawinecki, Piotr Sienkiewicz and Zenon Gniazdowski (eds.), Podstawy algorytmiki. Zastosowania informatyki, Warszawska Wyższa Szkoła Informatyki, Warszawa 2011.see in PBN

2006

Michał Bassa, Robert Dąbrowski, Marcin Engel, Janusz Jabłonowski and Piotr Krzyżanowski, Przysposobienie informatyczne, Warszawa 2006.see in PBN

2001

Marcin Engel, Wykorzystanie systemów wspomagających dowodzenie do weryfikacji wewnętrznej spójności specyfikacji, in: III Krajowa Konferencja Inżynierii Oprogramowania, Wydawnictwo MIKOM, Warszawa 2001.see in PBN

2000

Marcin Engel, Janina Mincer-Daszkiewicz and Artur Kret, Towards automated consistency checking of module interface specifications, Fundamenta Informaticae 42 (3-4) 2000, p. 251–278.see in PBN