Kalkul komunikujících systémů CCS

Uloženo v:
Podrobná bibliografie
Hlavní autor: Mikesková, Monika (Autor práce)
Další autoři: Křetínský, Mojmír, 1950- (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1987
Témata:
programování
programming
diplomové práce
master's theses
Obálka
Popis
Popis jednotky:Vedoucí práce: Mojmír Křetínský
Fyzický popis:63 l. + 1 sv. (počítačová sjetina)

Podobné jednotky