Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedingsWS-FM 2006 (2006 Vienna, Austria) Mario Bravetti; Manuel N u nez Profesor; Gianluigi ZavattaroBerlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4184 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
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 : proceedingsEPEW (2005 Versailles, France) Mario Bravetti; Le ila Kloul; Gianluigi Zavattaro; International Workshop on Web Services and Formal Methods (2005 Versailles, France)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |