Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) 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
|
Compiler construction 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29-April 2, 2004 : proceedingsCC 2004 (2004 Barcelona, Spain) Evelyn Duesterwald; ETAPS 2004 (2004 Barcelona, Spain)Berlin Springer New York 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna Austria, March 2006 : proceedingsEuropean Symposium on Programming (15th 2006 Vienna, Austria) Peter Sestoft; ETAPS 2006 (2006 Vienna, Austria)Berlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3924 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedingsInternational Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)Berlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3712 ) e outros locais(Acessar) |