| | Books 1 - 6 of 6 | Previous | Next | 
|  | | Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science)
by Barbara Liskov, John V. Guttag
Hardcover, 488 Pages, Published 1986 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Research Directions in Computer Science: An MIT Perspective
by Albert R. Meyer (Editor), John V. Guttag (Editor), Ronald L. Rivest (Editor), Peter Szolovits (Editor)
Hardcover, 518 Pages, Published 1991 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Electron and the Bit: EECS at MIT, 1902-2002
by John V. Guttag (Editor)
Hardcover, 376 Pages, Published 2005 by EECS at MIT
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
by John V. Guttag, James J. Horning, S. J. Garland, K. D. Jones (Contributor)
Hardcover, 250 Pages, Published 1993 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The VI-3 Program: A brief guide for students and counselors
by John V Guttag
Unknown Binding, Published 1991 by MIT
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Derived pairs, overlap closures and rewrite dominos: New tools for analysing term rewriting systems (MIT/LCS/TR-268)
by John V Guttag
Unknown Binding, 19 Pages, Published 1982 by Laboratory for Computer Science, Massachusetts Institute of Technology
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 6 of 6 | Previous | Next |
|