skip to main content
Mostrar Somente
Refinado por: assunto: Computer Software remover assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The art of software testing
Material Type:
Livro
Adicionar ao Meu Espaço

The art of software testing

Glenford J. Myers 1946-

New York Wiley c1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.25 M996a e.2 ) e outros locais(Acessar)

2
The art of software testing
Material Type:
Livro
Adicionar ao Meu Espaço

The art of software testing

Glenford J. Myers 1946- Tom Badgett; Todd M Thomas; Corey Sandler 1950-

Hoboken, N.J. John Wiley & Sons c2004

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.12 M996a 2.ed. e.2 ) e outros locais(Acessar)

3
Building application frameworks object-oriented foundations of framework design
Material Type:
Livro
Adicionar ao Meu Espaço

Building application frameworks object-oriented foundations of framework design

Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph. D.

New York Wiley c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.50 F282ba e.1 ) e outros locais(Acessar)

4
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

CAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad Sistla

Berlin London Springer c2000

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

5
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)

Berlin Springer New York 2002

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

6
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

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

7
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings

International Conference on Computer-Aided Verification, CAV'97 (9th 1997 Haifa, Israel) Orna Grumberg

Berlin New York Heidelberg Springer c1997

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

8
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

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

9
Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition
Material Type:
Livro
Adicionar ao Meu Espaço

Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition

Ben. Liblit Association for Computing Machinery.

Berlin Springer New York c2007

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

10
COTS-based software systems First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

COTS-based software systems First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings

ICCBSS 2002 (2002 Orlando, Fla.) John Dean (John C.); Andrée Gravel

Berlin Springer London c2002

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
  1. Antes de1986  (6)
  2. 1986Até1990  (11)
  3. 1991Até1995  (9)
  4. 1996Até2001  (32)
  5. Após 2001  (25)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.