Bilaketaren emaitzak - "Communicating Sequential Processes (computer Programs)"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
-
1
Specification and Proof in real- time CSP /
Argitaratua 1993Gaiak: “...Communicating Sequential Processes (computer Programs)...”
Liburua