Logic of programs : workshop, ETH Zürich, May-July 1979 /

Uloženo v:
Podrobná bibliografie
Další autoři: Engeler, Erwin, 1930-
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1981.
Edice:Lecture notes in chemistry ; 125
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 L3 4200500452