Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Workshop on Web Services and Formal Methods Vídeň, Rakousko) (Autor)
Další autoři: Bravetti, Mario, 1971- (Editor), Núñez, Manuel (Editor), Zavattaro, Gianluigi (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York, NY : Springer, 2006
Vydání:1st ed.
Edice:Lecture notes in computer science ; 4184
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 K933.06 4200512315