Logics and models of concurrent systems /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Apt, Krzysztof R., 1949- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1984.
Edice:NATO ASI series. Computer and system sciences ; vol. 13
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í
Přírodovědecká fakulta ÚK volný výběr 510.6-LOGI 3145006224