Information flow : the logic of distributed systems /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Barwise, Jon, 1942-2000 (Autor), Seligman, Jerry (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 1997
Edice:Cambridge Tracts in Theoretical Computer Science ; 44
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 H193 4200506374