Inspection methods in programming
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/16039 |
| _version_ | 1826206792314519552 |
|---|---|
| author | Rich, Charles |
| author2 | Gerald Jay Sussman. |
| author_facet | Gerald Jay Sussman. Rich, Charles |
| author_sort | Rich, Charles |
| collection | MIT |
| description | Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980. |
| first_indexed | 2024-09-23T13:38:38Z |
| format | Thesis |
| id | mit-1721.1/16039 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:38:38Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/160392019-04-12T09:19:33Z Inspection methods in programming Rich, Charles Gerald Jay Sussman. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Computer programming Problem solving Computer programs Verification Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980. MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. Bibliography: leaves 294-297. Includes index. by Charles Rich. Ph.D. 2005-08-04T15:57:51Z 2005-08-04T15:57:51Z 1980 1980 Thesis http://hdl.handle.net/1721.1/16039 07346331 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 303 leaves 27806769 bytes 27806529 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Computer programming Problem solving Computer programs Verification Rich, Charles Inspection methods in programming |
| title | Inspection methods in programming |
| title_full | Inspection methods in programming |
| title_fullStr | Inspection methods in programming |
| title_full_unstemmed | Inspection methods in programming |
| title_short | Inspection methods in programming |
| title_sort | inspection methods in programming |
| topic | Electrical Engineering and Computer Science. Computer programming Problem solving Computer programs Verification |
| url | http://hdl.handle.net/1721.1/16039 |
| work_keys_str_mv | AT richcharles inspectionmethodsinprogramming |