Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /

Uloženo v:
Podrobná bibliografie
Další autoři: Parikh, Rohit (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, c1985.
Edice:Lecture notes in computer science ; 193
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 R143 4200500910