Popis: Verifikace programů - metoda intermitentních podmínek

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Kubátová, Alice (Autor práce)
Další autoři:	Brim, Luboš, 1952- (Vedoucí práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Čeština
Vydáno:	1983
Témata:	programování programming diplomové práce master's theses

Popis
Popis jednotky:	Vedoucí práce: Luboš Brim
Fyzický popis:	62 l.