Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
A dynamic software certification an verification procedureCarlos Alberto de Bragança Pereira 1946- Fabio Nakano; Julio Michael Stern 1958-São Paulo IME-USP 1999Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1999 v.01 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
A dynamic software certification an verification procedureCarlos Alberto de Bragança Pereira 1946- Fábio Nakano; Julio Michael Stern 1958-; World Multiconference on Systemics, Cybernetics and Informatics - SCI'99 (1999 Orlando); International Conference on Information Syems Analysis and Synthesis - ISAS'99 (5. 1999 Orlando)Proceedings Information Systems Development Orlando : IIIS, 1999Orlando IIIS 1999Localização: IME - Inst. Matemática e Estatística (PROD-1083270 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
RoboCup 2002: Robot Soccer World Cup VIRoboCup 2002 Gal A Kaminka; Pedro U Lima; Raúl RojasSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
DepuraçãoMarcos Lordello Chaim José Carlos Maldonado; Mário JinoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820322 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Estudos teóricos e experimentaisSimone do Rocio Senger de Souza Sandra Camargo Pinto Ferraz Fabbri; Ellen Francine Barbosa; Marcos Lordello Chaim; Auri Marcelo Rizzo Vincenzi; Márcio Eduardo Delamaro; Mário Jino; José Carlos MaldonadoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820392 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Teste estruturalEllen Francine Barbosa Marcos Lordello Chaim; Auri Marcelo Rizzo Vincenzi; Márcio Eduardo Delamaro; Mário Jino; José Carlos MaldonadoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820393 ) e outros locais(Acessar) |
|
7 |
Material Type: Dissertação de Mestrado
|
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.Costa, Rafael LemeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Introdução ao teste de softwareMárcio Eduardo Delamaro José Carlos Maldonado; Mário JinoRio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1726007 ) e outros locais(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
Coverage based debugging visualizationMutti, DaniloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2014-10-31Acesso online. A biblioteca também possui exemplares impressos. |