Abstraction and specification in program development

• Κύριοι συγγραφείς: Guttag, John (Συγγραφέας), Liskov, Barbara, 1939- (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Mass. New York Massachusetts Institute of Technology Cambridge Mass. McGraw-Hill c1986 c1986
• Σειρά: MIT Press Electrical Engineering and Computer Science Series
• Θέματα: COMPUTER PROGRAMMING
• Περιγραφή τεκμηρίου: περιέχει βιβλιογραφία Περιέχει ασκήσεις περιέχει προβλήματα
• Φυσική περιγραφή: xv, 469p. fig.