Abstraction and specification in program development /

Bibliographic Details

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