Metodika programování - automatická verifikace programu - Duľová, Marie; Račanský, Václav, 1948-; Univerzita J.E. Purkyně v Brně. Přírodovědecká fakulta (1979)
Vedoucí práce: Václav Račanský
Diplomová práce (Mgr.)--Universita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1979
Keywords: programování; programming; diplomové práce; master's theses