Abstraction and specification in program development
By: Barbara Liskov and John Guttag.
Contributors: Guttag, John.
Series: The MIT electrical engineering and computer science series
Publisher: MIT Press; McGraw-Hill
Published: 1986
Place of publication: Cambridge, Mass; New York
Language: eng
Number of pages: 469
Subjects: Computer programming
Notes: Includes bibliographies and index.