| Books 1 - 10 of 12 | Previous | Next |
|
 | | Program Development in Java: Abstraction, Specification and Object-oriented Design
by Barbara Liskov, John Guttag
Hardcover, 464 Pages, Published 2000 by Addison Wesley
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Abstraction and Specification in Program Development
by Barbara Liskov, John Guttag
Hardcover, 488 Pages, Published 1986 by MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
by John Guttag, James J. Horning
Hardcover, 250 Pages, Published 1993 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Abstract data types and software validation
by John Guttag
Unknown Binding, 45 Pages, Published 1976 by National Technical Information Service
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | An annotated bibliography on computer program engineering (Technical report CSRG-54, April 1975) (3d ed Edition)
by John Guttag
Unknown Binding, Published 1975 by Computer Systems Research Group, 3d ed Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Introduction to LCL, a Larch/C interface language (SRC reports)
by John Guttag
Unknown Binding, 81 Pages, Published 1991 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Larch in five easy pieces (SRC reports)
by John Guttag
Unknown Binding, 119 Pages, Published 1985 by Digital Equipment Corporation, Systems Research Center
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 |
|
 | | Formal specification as a design tool
by John Guttag
Unknown Binding, 30 Pages, Published 1980 by Xerox, Palo Alto Research Center
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 - 10 of 12 | Previous | Next |