Buscas alternativas:
structures programming » structured programming (Expandir a busca), structured programs (Expandir a busca), structured program (Expandir a busca)
formal structures » formal structure (Expandir a busca), social structures (Expandir a busca), fungal structures (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
coder formal » poder formal (Expandir a busca), poder forma (Expandir a busca), poder formas (Expandir a busca)
manim python » monty python (Expandir a busca), api python (Expandir a busca), and python (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
Mostrando 1 - 18 resultados de 18 para a busca '(( coder coder formal structures programming ) OR ( manim python python python programming ))', tempo de busca: 1,18s Refinar Resultados
1
Publicado em 2023
Assuntos: “...Python (Linguagem de programação de computador)...”
Acessar documento
Artigo
4
Publicado em 2019
Assuntos: “...Code comprehension...”
Acessar documento
Dissertação
5
Publicado em 2006
Assuntos: “...Formal methods...”
Acessar documento
Artigo
6
Publicado em 2023
Assuntos: “...Formal verification...”
Acessar documento
Trabalho de conclusão de curso
7
Publicado em 2022
Assuntos: “...Verificação formal...”
Acessar documento
Dissertação
9
Publicado em 2022
Assuntos: “...Programming-Languages...”
Acessar documento
Trabalho de conclusão de curso
10
Publicado em 1997
“... estruturada ao trabalhar nas áreas de especificação formal, verificação de programas e na semântica formal...”
Acessar documento
Dissertação
15
Publicado em 2017
“... little contact with formalisms and formal refactorings. In this way, the instrumentation of the code with...”
Acessar documento
Trabalho de conclusão de curso
16
Publicado em 2016
“... directly in the software source code. This practice can lead to high maintenance costs and difficulty...”
Acessar documento
Dissertação
17
Publicado em 2016
“... directly in the software source code. This practice can lead to high maintenance costs and difficulty...”
Acessar documento
Dissertação
Exportar CSV Export RIS