Search alternatives:
verification programming » application programming (Expand search), optimization programming (Expand search), education programming (Expand search)
program verification » formal verification (Expand search)
coder program » cooper program (Expand search), proder program (Expand search), closer program (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
Showing 1 - 20 results of 37 for search '(( coder coder program verification programming ) OR ( manim python python python programming ))', query time: 2.15s Refine Results
1
Published 2023
Subjects: “...Python (Computer program language)...”
Access document
Article
2
Published 2020
Subjects: “...Programabilidade de rede...”
Access document
Master thesis
3
Published 2022
Subjects: “...Efficient Declarative Programming...”
Access document
Master thesis
4
Published 2008
Subjects: “...Program verification and validation...”
Access document
7
Published 2020
Subjects: “...Compiladores (Programas de computador) – Teses....”
Access document
Doctoral thesis
11
Published 2016
Subjects: “...Síntese de programas...”
Access document
Master thesis
15
Published 2017
Subjects: “...Verification...”
Access document
Bachelor thesis
18
Published 2021
Subjects: “...Programming Language Formalisation...”
Access document
Master thesis
20
Published 2025
Subjects: “...Python (Computer program language)...”
Access document
Master thesis
Export CSV Export RIS