Resultats de la cerca - "Communicating Sequential Processes (computer Programs)"
Matèries dins de la cerca
Matèries dins de la cerca
-
1
Specification and Proof in real- time CSP /
Publicat 1993Matèries: “…Communicating Sequential Processes (computer Programs)…”
Llibre