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
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:περιέχει βιβλιογραφία Περιέχει ασκήσεις περιέχει προβλήματα
Φυσική περιγραφή:xv, 469p. fig.