Selected Problems from the Area of Formal Verification
Další název
Selected Problems from the Area of Formal Verification
Vedoucí práce
Datum vydání
2009Typ dokumentu
Disertační práce
Lokace
ÚK/Sklad diplomových prací
Signatura
201000377
Metadata
Zobrazit celý záznam
Studijní program
Informační technologie
Studijní obor
Informatika a aplikovaná matematika
Instituce přidělující titul
Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky
Poznámka
Import 07/02/2010