Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
Model Checking of Code and Component Specifications | 2006/2007 | diplomová práce | I2 | prof. Ing. František Plášil, DrSc. | 02.05.2006 | Ne | Katedra softwarového inženýrství (32-KSI) | MFF |
Výsledky 1-1 z 1 1