Buscas alternativas:
from programming » film programming (Expandir a busca), arts programming (Expandir a busca), go programming (Expandir a busca)
coder checking » code checking (Expandir a busca), model checking (Expandir a busca), body checking (Expandir a busca)
checking from » thinking from (Expandir a busca), checking of (Expandir a busca), changing from (Expandir a busca)
python using » python usando (Expandir a busca), python coding (Expandir a busca), action using (Expandir a busca)
using pitons » using pion (Expandir a busca), using pivots (Expandir a busca), using mertons (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
Mostrando 1 - 20 resultados de 34 para a busca '(( coder coder checking from programming ) OR ( python using pitons python programming ))', tempo de busca: 0,93s Refinar Resultados
3
Publicado em 2020
Assuntos: “...Return-oriented programming...”
Acessar documento
Tese
7
Publicado em 2024
Assuntos: “...Answer Set Programming...”
Acessar documento
Dissertação
8
Publicado em 2022
Assuntos: “...Object-oriented programming...”
Acessar documento
Artigo
10
Publicado em 2014
Assuntos: “...Aspect-oriented programming...”
Acessar documento
Tese
11
Publicado em 2007
Assuntos: “...Object-oriented logic programming...”
Acessar documento
Tese
12
Publicado em 2021
Assuntos: “...Programming Language Formalisation...”
Acessar documento
Dissertação
14
Publicado em 2010
“... aims to establish the methodology of creating C code programs, from SFC specification formalism, taking...”
Acessar documento
15
Publicado em 2010
“... razões. Há múltiplos trabalhos desenvolvidos na área de verificação formal, por model-checking...”
Acessar documento
16
Publicado em 2013
“... Observation Code (DOC). Não houve diferença significativa entre os grupos experimental e controle em relação...”
Acessar documento
Dissertação
17
Publicado em 2023
“... system. Besides, it is possible to generate executable models or produce code in a target programming...”
Acessar documento
Trabalho de conclusão de curso
18
Publicado em 2020
“... mile and delivers assembly code that is provably functionally correct, protected against side-channels...”
Acessar documento
19
Publicado em 2006
“... de métodos formais, mais especificamente a técnica de verificação de modelos (model checking), nos processos...”
Acessar documento
Dissertação
20
Publicado em 2006
“... de métodos formais, mais especificamente a técnica de verificação de modelos (model checking), nos processos...”
Acessar documento
Dissertação
Exportar CSV Export RIS