skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Testen remover assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo 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 2010

Acesso online. A biblioteca também possui exemplares impressos.

2
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

3
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3997 ) e outros locais(Acessar)

4
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Frutos-Escrig, David de ; Núñez, Manuel Núñez, Manuel ; de Frutos-Escrig, David

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
5
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Hunt, Warren A. Jr ; Johnson, Steven D Johnson, Steven D. ; Hunt, Warren A.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
6
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

Petrenko, Alexandre ; Ulrich, Andreas Petrenko, Alexandre ; Ulrich, Andreas

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
7
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings

König, Hartmut ; Heiner, Monika ; Wolisz, Adam Wolisz, Adam ; König, Hartmut ; Heiner, Monika

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
8
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

Araki, Keijiro ; Gnesi, Stefania ; Mandrioli, Dino Gnesi, Stefania ; Araki, Keijiro ; Mandrioli, Dino

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
9
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud Venet, Arnaud ; Brat, Guillaume ; Rungta, Neha

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
10
The Art of Software Testing
The Art of Software Testing
Material Type:
Livro 		Adicionar ao Meu Espaço

The Art of Software Testing

Myers, Glenford J ; Badgett, Tom ; Sandler, Corey

Hoboken: Wiley 2011

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2002  (6)
  3. 2003Até2005  (13)
  4. 2006Até2009  (10)
  5. Após 2009  (10)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sampaio, A
  2. Borba, P
  3. Weise, C
  4. PSSE
  5. Pernambuco Summer School on Software Engineering

Neste Assunto:

  1. Software
  2. Testen
  3. Software
  4. Testen
  5. Computer Science

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.