Algebraic methodology and software technology : 8th International Conference, AMAST 2000 : Iowa City, Iowa, USA, May 20-27, 2000 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Algebraic Methodology and Software Technology Iowa City, Iowa) (Autor)
Další autoři: Rus, Teodor (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2000
Edice:Lecture notes in computer science ; 1816
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 K55.00 4200505946