Søgeresultater - "Communicating Sequential Processes (computer Programs)"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Specification and Proof in real- time CSP / af Davis, Jim

    Udgivet 1993
    Fag: “...Communicating Sequential Processes (computer Programs)...”
    Bog