Abstraction and specification in program development
Κύριοι συγγραφείς: | , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | 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. |