Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
Fighting the State Explosion Problem in Component Protocols
Název práce v češtině: Fighting the State Explosion Problem in Component Protocols
Název v anglickém jazyce: Fighting the State Explosion Problem in Component Protocols
Akademický rok vypsání: 2007/2008
Typ práce: rigorózní práce
Jazyk práce: angličtina
Ústav: Katedra softwarového inženýrství (32-KSI)
Vedoucí / školitel:
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 25.01.2008
Datum zadání: 25.01.2008
Datum a čas obhajoby: 02.04.2008 00:00
Datum odevzdání elektronické podoby:25.01.2008
Datum odevzdání tištěné podoby:25.01.2008
Datum proběhlé obhajoby: 02.04.2008
 
Univerzita Karlova | Informační systém UK