Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on the Mathematics of Program Construction Marseille, Francie) (Autor)
Další autoři: Audebaud, Philippe (Editor), Paulin-Mohring, Christine, 1962- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science ; 5133
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.08 4200514402