Search alternatives:
distributed programming » distributed processing (Expand search)
runtime distributed » time distributed (Expand search), printing distributed (Expand search), rate distributed (Expand search)
coder runtime » model runtime (Expand search), models runtime (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)
distributed programming » distributed processing (Expand search)
runtime distributed » time distributed (Expand search), printing distributed (Expand search), rate distributed (Expand search)
coder runtime » model runtime (Expand search), models runtime (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
4
5
“...: A specification language for the runtime verification of Java Card programs. Science of Computer Programming...”
Access document
Access document
Article
6
7
8
9
10