2 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (1)
Refinado por:
assunto:
Metodologia E Técnicas De Computação
assunto:
Verificação E Validação De Software
assunto:
Verificação E Validação De Software
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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. |
| 2 |
Material Type: Livro
|
|
Little lisperDaniel P Friedman Matthias FelleisenNew York Macmillan 1989Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (001.6424 F911l ) e outros locais(Acessar) |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1)
Refinar Meus Resultados
Assunto
Autor/Criador
- Van Leeuwen, J (1)
- Hartmanis, J (1)
- Burkart, O (1)
- Felleisen, M (1)
- Friedman, D (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 