Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 285)
Seznam prací
   Přihlásit přes CAS
  
                  
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail 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
 
Univerzita Karlova | Informační systém UK