Nets, terms and formulas : three views of concurrent processes and their relationship /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Olderog, Ernst-Rüdiger, 1955- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c1991.
Edice:Cambridge Tracts in Theoretical Computer Science ; 23
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 R375 4200506392