Logics for concurrency : structure versus automata /

Uloženo v:
Podrobná bibliografie
Další autoři: Moller, Faron (Editor), Birtwistle, Graham (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1996.
Edice:Lecture notes in computer science ; 1043
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 sklad P30 - skříň 4200505763
Dostupné
Měsíční
Fakulta informatiky sklad P30 - skříň 4200505764
Dostupné
Měsíční
Fakulta informatiky sklad P30 - skříň 4200511720
Dostupné
Dlouhodobá
Fakulta informatiky sklad P30 4200511721