Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Integrated Formal Methods Oxford, Anglie) (Autor)
Další autoři: Davis, Jim (Editor), Gibbons, Jeremy, 1966- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007
Edice:Lecture notes in computer science ; 4591
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 K253.07 4200513280