Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Engineering distributed objects Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papersEDO 2000 (2000 Davis, Calif.) Wolfgang Emmerich; Stefan Tai 1970-Berlin New York Springer c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS V.1999 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Formal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece June 15-17, 2005 : proceedingsInternational Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece) Martin Steffen; Gianluigi Zavattaro; IFIP Working Group 6.1Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus June 6-8, 2007 : proceedingsInternational Conference on Formal Methods for Open Object-Based Distributed Systems (9th 2007 Paphos, Cyprus) Marcello M Bonsangue; Einar Broch Johnsen; IFIP Working Group 6.1Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4468 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedingsFORTE 2008 (2008 Tokyo, Japan) Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih; Kenji Suzuki Dr. EngBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5048 ) e outros locais(Acessar) |
5 |
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) |
6 |
Material Type: Livro
|
![]() |
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedingsFORTE 2004 (2004 Toledo, Spain) Zakaria Maamar; Fernando L Pelayo; Key Pousttchi; Fernando Rubio; Manuel N u nez Profesor; The FormEMC (1st 2004 Toledo, Spain); EPEW (1st 2004 Toledo, Spain); ITM (1st 2004 Toledo, Spain)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedingsInternational Conference on Formal Methods for Open Object-Based Distributed Systems (8th 2006 Bologna, Italy) Roberto Gorrieri; Heike WehrheimBerlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4037 ) e outros locais(Acessar) |
8 |
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. |
9 |
Material Type: Livro
|
![]() |
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedingsInternational Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway) Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1Berlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 LNCS v.5051 ) e outros locais(Acessar) |
10 |
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) |