Showing 1 - 7 results of 7 for search 'Gordon, Michael J. C., 1948-', query time: 0.05s Refine Results
  1. 1
    The denotational description of programming languages : an introduction

    The denotational description of programming languages : an introduction by Gordon, Michael J. C., 1948-

    New York : Springer-Verlag, 1979
    Format: Book


    Save to List
    Saved in:
  2. 2
    Programming language theory and its implementation : applicative and imperative paradigms

    Programming language theory and its implementation : applicative and imperative paradigms by Gordon, Michael J. C., 1948-

    New York : Prentice-Hall, 1988
    Format: Book


    Save to List
    Saved in:
  3. 3
    Edinburgh LCF : a mechanised logic of computation

    Edinburgh LCF : a mechanised logic of computation by Gordon, Michael J. C., 1948-

    Berlin ; New York : Springer-Verlag, 1979
    Format: Book


    Save to List
    Saved in:
  4. 4
    Why should I protect nature?

    Why should I protect nature? by Green, Jen

    New York, NY : Barron's, 2001
    Other Authors: “…Gordon, Michael J. C., 1948-…”
    Format: Book


    Save to List
    Saved in:
  5. 5
    Why should I save energy?

    Why should I save energy? by Green, Jen

    New York, NY : Barron's, 2001
    Other Authors: “…Gordon, Michael J. C., 1948-…”
    Format: Book


    Save to List
    Saved in:
  6. 6
    Why should I recycle?

    Why should I recycle? by Green, Jen

    Hauppauge, N.Y. : Barron's, 2005
    Other Authors: “…Gordon, Michael J. C., 1948-…”
    Format: Book


    Save to List
    Saved in:
  7. 7
    Introduction to HOL : a theorem proving environment for higher order logic

    Introduction to HOL : a theorem proving environment for higher order logic

    Cambridge ; New York : Cambridge University Press, 1993
    Other Authors: “…Gordon, Michael J. C., 1948-…”
    Format: Book


    Save to List
    Saved in:

Search Tools: