| ||
| 1. | Towards automated consistency checking of module interface specifications
FUNDAMENTA INFORMATICAE Tom 42 Nr 3-4 r. 2000, str. 251-278 (Artykuł) Marcin Engel, Janina Mincer-Daszkiewicz, A Kret | |
| ||
| 2. | Podstawy programowania współbieżnego i rozproszonego
WNT, r. 2009 (Książka) Mordechai Ben-Ari, Marcin Engel (Tłumacz) | |
| 3. | Przysposobienie informatyczne
, r. 2006 (Skrypt lub podręcznik akademicki) Michał Bassa, Robert Dąbrowski, Marcin Engel, Janusz Jabłonowski, Piotr Krzyżanowski | |
| 4. | Jądro systemu Unix
Wydawnictwa Naukowo-Techniczne, r. 2001 (Inne) Marcin Engel (Tłumacz) | |
| ||
| 5. | Wykorzystanie systemów wspomagających dowodzenie do weryfikacji wewnętrznej spójności specyfikacji
w: III Krajowa Konferencja Inżynierii Oprogramowania - KKIO, str. 3-14, III Krajowa Konferencja Inżynierii Oprogramowania, r. 2001 (Artykuł) Marcin Engel | |