Abstraction and specification in program development
| Main Authors: | , |
|---|---|
| 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: |
