Popis: Metodika programování - automatická verifikace programu

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Duľová, Marie (Autor práce)
Další autoři:	Račanský, Václav, 1948- (Vedoucí práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Čeština
Vydáno:	1979
Témata:	programování programming diplomové práce master's theses

Popis
Popis jednotky:	Vedoucí práce: Václav Račanský
Fyzický popis:	78 l. + 1 příl.