Bokus

A.W. Roscoe – författare

Visar alla böcker från författaren A.W. Roscoe. Handla med fri frakt och snabb leverans.

6 produkter

  1. A.W. Roscoe - Understanding Concurrent Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Understanding Concurrent Systems

    Av A.W. Roscoe

    Häftad, 2012

    567 kr

    Lägg i varukorg

    CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent …

  2. Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood - Reflections on the Work of C.A.R. Hoare, Häftad. Tillgänglighet: Lägg i varukorg

    Reflections on the Work of C.A.R. Hoare

    Av Cliff B. Jones, A.W. Roscoe m. fl.

    Häftad, 2014

    1638 kr

    Lägg i varukorg

    ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. …

  3. A.W. Roscoe - Understanding Concurrent Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Understanding Concurrent Systems

    Av A.W. Roscoe

    Inbunden, 2010

    567 kr

    Lägg i varukorg

    CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent …

  4. A.W. Roscoe - Understanding Concurrent Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Understanding Concurrent Systems

    Av A.W. Roscoe

    E-bok, 2010

    755 kr

    Lägg i varukorg

    CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent …

  5. Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood - Reflections on the Work of C.A.R. Hoare, Inbunden. Tillgänglighet: Lägg i varukorg

    Reflections on the Work of C.A.R. Hoare

    Av Cliff B. Jones, A.W. Roscoe m. fl.

    Inbunden, 2010

    1638 kr

    Lägg i varukorg

    ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. …

  6. Kenneth R. Wood, A.W. Roscoe, Cliff B. Jones - Reflections on the Work of C.A.R. Hoare, E-bok. Tillgänglighet: Lägg i varukorg

    Reflections on the Work of C.A.R. Hoare

    Av Kenneth R. Wood, A.W. Roscoe m. fl.

    E-bok, 2010

    2111 kr

    Lägg i varukorg