Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedingsFORTE 2006 (2006 Paris, France) Elie Najm; Jean-Fran cois Pradat-Peyre; V eronique Donzeau-Gouge; IFIP Working Group 6.1Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4229 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedingsFORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4574 )(Acessar) |
|
3 |
Material Type: Livro
|
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedingsFORTE 2004 (2004 Madrid, Spain) David de Frutos-Escrig; Manuel Núñez Profesor; IFIP Working Group 6.1Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |