1
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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
|
Material Type: Livro
|
|
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)
|