Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Colloquium on the Formalization of Programming Concepts Peniscola, Španělsko) (Autor)
Další autoři: Díaz, Josep, 1950- (Editor), Ramos Salavert, Isidro, 1943- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1981
Edice:Lecture notes in computer science ; 107
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 R44 4200500310