Resultados 1 - 10 de 62 para Búsqueda General
- Recursos en línea (5)
- Disponible (61)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Informe 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 1999Disponible en IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1999 v.01 e.1 ) y otras localizaciones(Obténgalo) |
| 2 |
Material Type: Artículo de Congreso
|
|
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 1999Disponible en IME - Inst. Matemática e Estatística (PROD-1083270 ) y otras localizaciones(Obténgalo) |
| 3 |
Material Type: Libro
|
|
RoboCup 2002: Robot Soccer World Cup VIRoboCup 2002 Gal A Kaminka; Pedro U Lima; Raúl RojasSpringer Berlin Heidelberg 2003Acceso en línea. La biblioteca tiene también copias físicas. |
| 4 |
Material Type: Tesis de Maestria
|
|
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-03Acceso en línea. La biblioteca tiene también copias físicas. |
| 5 |
Material Type: Libro
|
|
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 2007Disponible en ICMC - Inst. Ciên. Mat. Computação (PROD-1820322 ) y otras localizaciones(Obténgalo) |
| 6 |
Material Type: Libro
|
|
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 2007Disponible en ICMC - Inst. Ciên. Mat. Computação (PROD-1820392 ) y otras localizaciones(Obténgalo) |
| 7 |
Material Type: Libro
|
|
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 2007Disponible en ICMC - Inst. Ciên. Mat. Computação (PROD-1820393 ) y otras localizaciones(Obténgalo) |
| 8 |
Material Type: Monografía
|
|
Técnicas de verificação e validação aplicáveis em softwares de inteligência artificial com enfase em sistêmas baseados em conhecimentoFrancisco José Alonso Ares Kechi Hirama 1956-São Paulo EPUSP 2005Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (MBA/ES 2005 A33t )(Obténgalo) |
| 9 |
Material Type: Libro
|
|
Co-verification of Hardware and Software for ARM SoC DesignJason R. AndrewsNewnes 2005Acceso en línea. La biblioteca tiene también copias físicas. |
| 10 |
Material Type: Libro
|
|
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acceso en línea. La biblioteca tiene también copias físicas. |
Resultados 1 - 10 de 62 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Recursos en línea (5)
- Disponible (61)
Refinar mis resultados
Tipo de Recurso
- Libros (41)
- Producciones Académicas (10)
- Artículos (10)
- Producciones Técnicas (1)
-
Más opciones
Materia
- Teste E Avaliação De Software (18)
- Computer Software (13)
- Engenharia De Software (11)
- Desenvolvimento De Software (11)
- Técnicas De Programação (7)
- Computer Systems (7)
- Especificação De Sistemas E Programas (6)
- Inteligência Artificial (5)
- Integrated Circuits (5)
- Qualidade De Software (4)
- Jogos De Computador (3)
- Computer Programs (3)
- Engenharia De Programas (3)
- Automatic Theorem Proving (3)
- Algoritmos E Estruturas De Dados (3)
- Metodologia E Técnicas De Computação (2)
- Model Checking (2)
- Parallel Processing (Electronic Computers) (2)
- Lógica Matemática (2)
- Electronic Digital Computers (2)
- Verificação E Validação De Software (0)
- Verificação E Validação De Software (0)
-
Más opciones
Creador
- Chaim, M (8)
- Delamaro, M (5)
- Maldonado, J (5)
- Jino, M (4)
- Melo, A (3)
- Nakagawa, E (3)
- Felleisen, M (2)
- Hartmanis, J (2)
- Souza, S (2)
- Oliveira, B (2)
- Hanazumi, S (2)
- Nakano, F (2)
- Peled, D (2)
- Pereira, C (2)
- CAV (Conference) (2)
- Vincenzi, A (2)
- Maruyama, N (2)
- Barbosa, E (2)
- Friedman, D (2)
- Stern, J (2)
-
Más opciones
Fecha de Publicación
- Antes de1989 (6)
- 1989Hasta2000 (11)
- 2001Hasta2007 (23)
- 2008Hasta2014 (10)
- Después de 2014 (13)
-
Más opciones
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (31)
- IME - Inst. Matemática e Estatística (26)
- EACH - Esc. Artes, Ciências e Humanidades (10)
- EPBC - Esc. Politécnica-Bib Central (9)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (8)
- IFSC - Inst. Física de São Carlos (7)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (4)
- PUSPSC - Prefeitura do Campus USP de São Carlos (2)
- EERP - Esc. Enfermagem Ribeirão Preto (1)
- FM - Fac. Medicina (1)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
-
Más opciones
Idioma
- Inglés (48)
- Portugués (14)
-
Más opciones
Título revista
- Proceedings (4)
- Introdução ao teste de software (3)
- RENE: Revista da Rede de Enfermagem do Nordeste (1)
- 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (1)
- Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I (1)
- Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (1)
- Proceedings Information Systems Development (1)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 