Abstraction and specification in program development

• Main Authors: Guttag, John (Author), Liskov, Barbara, 1939- (Author)
• Format: Book
• Language: English
• Published: Cambridge Mass. New York Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill c1986 c1986
• Series: MIT Press Electrical Engineering and Computer Science Series
• Subjects: COMPUTER PROGRAMMING
• Item Description: περιέχει βιβλιογραφία Περιέχει ασκήσεις περιέχει προβλήματα
• Physical Description: xv, 469p. fig.