Abstraction and specification in program development /

Bibliographic Details
Main Author: Liskov, B
Other Authors: Guttag, John V., 1949-, Guttag, John
Format: Book
Language:English
Published: Cambridge, Mass. : New York : McGraw-Hill, MIT Press ; c1986
Cambridge, Mass. : New York : MIT Press ; McGraw-Hill, [1986], ©1986
Cambridge, Mass. : New York : MIT Press, c1986
Cambridge, Mass. : New York : ©1986
Cambridge, Mass. : c1986
Cambridge, Mass. : New York : c1986
Cambridge, Mass. : New York : [1986]
Series:MIT electrical engineering and computer science series
The MIT electrical engineering and computer science series
MIT electrical engineering anad computer science series
MIT electrical engineering and computer science series
The MIT electrical engineering and computer science series
Subjects:

Internet

Stanford University

Holdings details from Stanford University
Call Number: QA76.6 .L5655 1986

University of Chicago

Holdings details from University of Chicago
Call Number: QA76.6.L56550 1986

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA76.6.L5655 1986

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA76.6 .L56551 1986

Harvard University

Holdings details from Harvard University
Call Number: QA76.6 .L5655 1986

Duke University

Holdings details from Duke University
Call Number: QA76.6 .L5655 1986

Dartmouth College

Holdings details from Dartmouth College
Call Number: QA76.6 .L5655 1986

Cornell University

Holdings details from Cornell University
Call Number: QA76.6 .L5655x 1986

Princeton University

Holdings details from Princeton University
Call Number: QA76.6 .L5655 1986

Columbia University

Holdings details from Columbia University
Call Number: QA76.6 .L5655 1986

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA76.6 .L5655 1986

Brown University

Holdings details from Brown University
Call Number: QA76.6 .L5655 1986