Kalkul komunikujících systémů CCS II. - Prachařová, Helena; Havlát, Tomáš, 1946-1995; Univerzita J.E. Purkyně v Brně. Přírodovědecká fakulta (1987)
Vedoucí práce: Tomáš Havlát
Diplomová práce (Mgr.)--Univerzita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1987
Keywords: programování; programming; diplomové práce; master's theses