Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedingsATVA 2006 (4th 2006 Beijing, China) Susanne Graf; Wenhui Zhang 1963Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lecturesFMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4709 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lecturesFMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer-Verlag New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3188 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedingsInternational SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent MounierBerlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2989 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lecturesFMCO 2005 (2005 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4111 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lecturesFMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |