John Guttag

No bio available. Add one in Open Library.

Books by John Guttag (50 max)

+ shelf+ list

Larch: Languages and Tools for Formal Specification

1993

John Guttag, John V. Guttag, James J. Horning, S. J. Garland

+ shelf+ list

Introduction to computation and programming using Python

2013

John Guttag

+ shelf+ list

Program Development in Java Abstraction, Specification, and Object-Oriented Design

2000

Barbara Liskov, John Guttag

+ shelf+ list

specification and application to programming of abstract data types

1975

John Guttag