Concurrent systems : formal development in CSP /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Jarvis, Stephen A., 1970- (Autor), Hinchey, Michael G. 1969- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : McGraw-Hill Book Company, c1995
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky P23 4200502178