Search alternatives:
modelling distributed » model distributed (Expand search), modeling distribution (Expand search), processing distributed (Expand search)
coder modelling » cover modelling (Expand search), order modelling (Expand search), model modelling (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)
modelling distributed » model distributed (Expand search), modeling distribution (Expand search), processing distributed (Expand search)
coder modelling » cover modelling (Expand search), order modelling (Expand search), model modelling (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)
1
2
3
“...: A specification language for the runtime verification of Java Card programs. Science of Computer Programming...”
Access document
Access document
Article
6
7