A comparison of software verification techniques.
| Other author | Software Engineering Laboratory (Goddard Space Flight Center) |
| Format | Book |
| Publication Info | Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1985] |
| Description | 1 volume. |
| Subjects |
| Series | Software Engineering Laboratory series ; SEL-85-001 NASA TM ; 88585 Software Engineering Laboratory series ; SEL-85-001. ^A682310 NASA technical memorandum 88585. ^A467613 |
| Reproduction note | Joyner- Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1986. 2 microfiches. |
| GPO item number | 0830-D (MF) |
| Govt. docs number | NAS 1.15:88585 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | NAS 1.15:88585 | ✔ Available | |
| Joyner | Microforms B300 | NAS 1.15:88585 | ✔ Available | |
| Joyner | Microforms B300 | NAS 1.15:88585 | ✔ Available |