کتاب های John V. Guttag
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
John Guttag & Barbara Liskov [John Guttag], 2000
Abstraction and specification in program development
Barbara Liskov, John V. Guttag, 1986
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)
Barbara Liskov, John V. Guttag, 1986
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Barbara Liskov, John V. Guttag, 1998
Introduction to Computation and Programming Using Python
John V. Guttag, 2013
Introduction to computation and programming using Python
John Guttag, 2013
Introduction to Computation and Programming Using Python
John V. Guttag, 2013
Introduction to Computation and Programming Using Python, Revided & Expanded
John V. Guttag, 2013
Larch: Languages and Tools for Formal Specification
John V. Guttag, 1993
Larch: Languages and Tools for Formal Specification
John V. Guttag, 1993
Python编程导论(第2版)
John V. Guttag, 2018
