skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Computer Software remover assunto: Computer Software–Testing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

FATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)

Berlin Springer New York c2004

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

2
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4262 )(Acessar)

3
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.

4
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)

5
Software engineering & testing an introduction
Software engineering & testing an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering & testing an introduction

B. B. Agarwal S. P Tayal; M Gupta (Mahesh) 1975-

Sudbury, Mass. Jones and Bartlett c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.413 Ag15s )(Acessar)

6
Testing of software and communicating systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 proceedings
Testing of software and communicating systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing of software and communicating systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 proceedings

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th 2007 Tallinn, Estonia) Margus Veanes; Jan Tretmans; Wolfgang Grieskamp 1960-; Alexandre Petrenko; International Federation for Information Processing Technical Committee 6; FATES 2007 (2007 Tallinn, Estonia)

Berlin Springer c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4581 )(Acessar)

7
Testing object-oriented systems models, patterns, and tools
Testing object-oriented systems models, patterns, and tools
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing object-oriented systems models, patterns, and tools

Robert Binder 1950-

Reading, Mass. Addison-Wesley c2000

Localização: EPBC - Esc. Politécnica-Bib Central    (004.658 B511t ) e outros locais(Acessar)

8
Software system testing and quality assurance
Software system testing and quality assurance
Material Type:
Livro 		Adicionar ao Meu Espaço

Software system testing and quality assurance

Boris Beizer 1934-

New York Van Nostrand Reinhold c1984

Localização: EPBC - Esc. Politécnica-Bib Central    (004.415.53 B397s ) e outros locais(Acessar)

9
Software testing techniques
Software testing techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Software testing techniques

Boris Beizer 1934-

New York Van Nostrand Reinhold c1983

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.25 B423st e.1 )(Acessar)

10
Testing object-oriented software
Testing object-oriented software
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing object-oriented software

Chen-Ho Kung Pei Hsia; Jerry Gao

Los Alamitos, Calif. IEEE Computer Society Press 1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.25 K96to e.1 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1984  (2)
  2. 1984Até1997  (4)
  3. 1998Até2000  (2)
  4. 2001Até2005  (5)
  5. Após 2005  (6)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.