Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Marcin Engel
2011
- Maciej Sysło, Wojciech Cellary, Krzysztof Diks, Andrzej Szałas, Jan Madey, Marcin Engel, Ryszard Tadeusiewicz, Jerzy Gawinecki, Piotr Sienkiewicz i Zenon Gniazdowski (red.), Podstawy algorytmiki. Zastosowania informatyki, Warszawska Wyższa Szkoła Informatyki, Warszawa 2011.zobacz w PBN
2001
- Marcin Engel, Wykorzystanie systemów wspomagających dowodzenie do weryfikacji wewnętrznej spójności specyfikacji, w: III Krajowa Konferencja Inżynierii Oprogramowania, Wydawnictwo MIKOM, Warszawa 2001.zobacz w PBN
Nie jesteś zalogowany | zaloguj się
