Search results for: Milner, R. (Robin), 1934-2010

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

    A calculus of communicating systems

    Authors: Milner, R. (Robin), 1934-2010
    Published: Springer-Verlag, 1980
    Physical Description: vi, 171 pages : illustrations ; 25 cm.
    Book
  2. 2

    The definition of Standard ML

    Authors: Milner, R. (Robin), 1934-2010
    Published: MIT Press, 1990
    Physical Description: xi, 101 pages : illustrations ; 24 cm
    Book
  3. 3

    Communication and concurrency

    Authors: Milner, R. (Robin), 1934-2010
    Published: Prentice Hall, 1989
    Physical Description: xi, 260 pages : illustrations ; 24 cm.
    Book
  4. 4

    Commentary on Standard ML

    Authors: Milner, R. (Robin), 1934-2010
    Published: MIT Press, 1991
    Other Authors:
    Physical Description: 160 pages ; 24 cm
    Book
  5. 5

    The definition of standard ML : revised

    Published: MIT Press, 1997
    Other Authors: “…Milner, R. (Robin), 1934-2010…”
    Physical Description: xiii, 114 pages : illustrations ; 23 cm
    Book
  6. 6

    The definition of standard ML revised

    Published: MIT Press, 1997
    Other Authors: “…Milner, R. (Robin), 1934-2010…”
    MIT Press Direct to Open Backfile Complete Monographs: 1997 (Digital Object Identifier Permalink)
    IEEE Xplore MIT Press eBooks Library--Computing & Engineering Collection: 1997 (IEEE Xplore)
    Electronic eBook
  7. 7

    Automata, languages and programming : third international Colloquium at the University of Edinburgh, 20, 21, 22, 23, July 1976

    Published: Edinburgh University Press, 1976
    Other Authors:
    Physical Description: vi, 559 pages : illustrations ; 24 cm
    Conference Proceeding Book
  8. 8

    Computing tomorrow : future research directions in computer science

    Published: Cambridge University Press, 1996
    Other Authors:
    Physical Description: x, 373 pages : illustrations ; 24 cm
    Book
  9. 9

    Computing tomorrow : future research directions in computer science

    Published: Cambridge University Press, 2009
    Other Authors:
    Physical Description: x, 373 pages : illustrations
    Book
  10. 10

    Computing tomorrow future research directions in computer science

    Published: Cambridge University Press, 1996
    Other Authors:
    EBSCO eBooks: 1996 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1996 (EBSCO)
    Electronic eBook
  11. 11

    Proof, language, and interaction essays in honour of Robin Milner

    Published: MIT Press, 2000
    Other Authors:
    MIT Press Direct to Open Backfile Complete Monographs: 2000 (Digital Object Identifier Permalink)
    EBSCO eBooks: 2000 (EBSCO)
    IEEE Xplore MIT Press eBooks Library--Computing & Engineering Collection: 2000 (IEEE Xplore)
    eBook Academic Collection (EBSCOhost) – North America: 2000 (EBSCO)
    Electronic eBook