Search alternatives:
formal programming » foetal programming (Expand search), fetal programming (Expand search), goal programming (Expand search)
checking formal » connecting formal (Expand search)
coder checking » code checking (Expand search), model checking (Expand search), body checking (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
formal programming » foetal programming (Expand search), fetal programming (Expand search), goal programming (Expand search)
checking formal » connecting formal (Expand search)
coder checking » code checking (Expand search), model checking (Expand search), body checking (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
3
4
5
6
7
8
9
10
11
“...Este trabalho investiga criticamente a prática do live coding, uma arte performática que envolve...”
Access document
Access document
Bachelor thesis
12
13
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Subjects:
“...Model Checking...”Access document
Doctoral thesis
14
15
16
“... to insights and bridge communication between life scientists and computer scientists. Python is a programming...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
17
18
“... e na inclusão de novas regras de tradução que definem a semântica formal para os elementos adicionados...”
Access document
Access document
Bachelor thesis
19
20