Sugestões de Tópicos... dentro de sua busca.
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO 1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA DE SOFTWARE 1
Engenharia de Software 1
A mostrar 1 - 3
de 3
para a busca: '',
tempo de busca: 0.05s
Refinar a Busca
- Retirar os Filtros Assunto: Model Checking
- Recursos
- Grau
- Assunto
Model Checking
1
C++
1
CIENCIAS EXATAS E DA TERRA
1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA DE SOFTWARE
1
Engenharia de Software
Mais ...
1
Invariantes de Programas
1
Memory Safety
1
Neural Networks
1
Quantized Neural Networks
1
Segurança de Memória
1
Software Verification
1
Teste de Software
1
Transformações de código
1
Verificação Formal
menos ...
- Autor
- Idioma
- Ano da publicação