Mathematics of program constructions : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Mathematics of Program Construction Dagstuhl Castle, Německo) (Autor)
Další autoři: Boiten, Eerke A. (Editor), Möller, Bernhard, 1953- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2002
Edice:Lecture notes in computer science ; 2386
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 K68.02 4200507859