Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: EPEW (workshop) Versailles, Francie) (Autor), International Workshop on Web Services and Formal Methods (Autor)
Další autoři: Bravetti, Mario, 1971- (Editor), Kloul, Leïla (Editor), Zavattaro, Gianluigi (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York, NY : Springer, 2005.
Vydání:1st ed.
Edice:Lecture notes in computer science ; 3670
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.05 4200511151