Métodos de desenvolvimento de algoritmos: especificação formal, análise comparativa e de complexidade
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Complexidade de algoritmos
-
Desenvolvimento de Algoritmos
-
Especificacao Formal
-
Refinamento de Especificacoes
-
Tipos Abstratos de Dados
-
complexidade
-
especificação formal
-
métodos de desenvolvimento de algoritmos
Identidade
identificador BrCris
-
c8b7d3e3e05f02a559d4b485719608f2