Hakutulokset - "Communicating Sequential Processes (computer Programs)"
Aihe-ehdotuksia
Aihe-ehdotuksia
-
1
Specification and Proof in real- time CSP /
Julkaistu 1993Aiheet: “…Communicating Sequential Processes (computer Programs)…”
Kirja