Showing 1 - 7 results of 7 for search 'Guttag, John V., 1949-', query time: 0.04s Refine Results
  1. 1
    Larch : languages and tools for formal specification

    Larch : languages and tools for formal specification by Guttag, John V., 1949-

    New York : Springer-Verlag, 1993
    Format: Book


    Save to List
    Saved in:
  2. 2
    Introduction to computation and programming using Python : with application to understanding data

    Introduction to computation and programming using Python : with application to understanding data by Guttag, John V., 1949-

    Cambridge, Massachusetts : The MIT Press, 2016
    Second edition.
    Format: Book


    Save to List
    Saved in:
  3. 3
    Introduction to computation and programming using Python

    Introduction to computation and programming using Python by Guttag, John V., 1949-

    Cambridge, Massachusetts : The MIT Press, 2013
    Revised and expanded edition.
    Format: Book


    Save to List
    Saved in:
  4. 4
    The specification and application to programming of abstract data types

    The specification and application to programming of abstract data types by Guttag, John V., 1949-

    Toronto : Computer Systems Research Group, 1975
    Format: Thesis Book


    Save to List
    Saved in:
  5. 5
    Introduction to computation and programming using Python

    Introduction to computation and programming using Python by Guttag, John V., 1949-

    Cambridge, Massachusetts : The MIT Press, 2013
    Spring 2013 edition
    Format: Book


    Save to List
    Saved in:
  6. 6
    An annotated bibliography on computer program engineering

    An annotated bibliography on computer program engineering by Guttag, John V., 1949-

    Toronto : Computer Systems Research Group, 1975
    3d ed.
    Format: Book


    Save to List
    Saved in:
  7. 7
    Abstraction and specification in program development

    Abstraction and specification in program development by Liskov, B.

    Cambridge, Mass. : New York : MIT Press ; McGraw-Hill, 1986
    Other Authors: “…Guttag, John V., 1949-…”
    Format: Book


    Save to List
    Saved in:

Search Tools: