Kalkul komunikujících systémů CCS II.

Uloženo v:
Podrobná bibliografie
Hlavní autor: Prachařová, Helena (Autor práce)
Další autoři: Havlát, Tomáš, 1946-1995 (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1987
Témata:
Obálka
Popis
Popis jednotky:Vedoucí práce: Tomáš Havlát
Fyzický popis:68 l. + 1 sv. (počítačová sjetina)