Verification of Complex Software
| Název práce v češtině: |
Verification of Complex Software |
| Název v anglickém jazyce: |
|
| Akademický rok vypsání: |
2005/2006 |
| Typ práce: |
disertační práce |
| Jazyk práce: |
|
| Ústav: |
Katedra softwarového inženýrství (32-KSI) |
| Vedoucí / školitel: |
RNDr. Filip Zavoral, Ph.D. |
| Řešitel: |
skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: |
01.10.2005 |
| Datum zadání: |
01.10.2005 |
| Seznam odborné literatury |
|
