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:
Popis
Fyzický popis:xiii, 181 s.
ISBN:0-07-707649-4