Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Formal Engineering Methods Boca Raton, Florida) (Autor)
Další autoři: Butler, Michael, 1967- (Editor), Hinchey, Michael G. 1969- (Editor), Larrondo-Petrie, María M. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science ; 4789
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 K560.07 4200513720