Search alternatives:
"and implementation in computer programming" » "and implementation in computer program" (Expand search), "and implementation in computer programs" (Expand search), "and implementation and computer programming" (Expand search), "and implementation of computer programming" (Expand search), "and implementation _ computer programming" (Expand search)
"advanced python python computer programmers" » "advanced python python computer programs" (Expand search), "advanced python python computers programming" (Expand search), "advanced python python computer program" (Expand search), "advanced method python computer programmers" (Expand search), "advanced path python computer programmers" (Expand search), "advanced symphony python computer programmers" (Expand search), "advanced pythons python computer programmers" (Expand search), "advanced piton python computer programmers" (Expand search), "advanced pitons python computer programmers" (Expand search)
"and implementation in computer programming" » "and implementation in computer program" (Expand search), "and implementation in computer programs" (Expand search), "and implementation and computer programming" (Expand search), "and implementation of computer programming" (Expand search), "and implementation _ computer programming" (Expand search)
"advanced python python computer programmers" » "advanced python python computer programs" (Expand search), "advanced python python computers programming" (Expand search), "advanced python python computer program" (Expand search), "advanced method python computer programmers" (Expand search), "advanced path python computer programmers" (Expand search), "advanced symphony python computer programmers" (Expand search), "advanced pythons python computer programmers" (Expand search), "advanced piton python computer programmers" (Expand search), "advanced pitons python computer programmers" (Expand search)
1
“... implementation of computer programming languages. This work describes a formalization effort, using the Coq proof...”
Access document
Access document
Doctoral thesis