Research Catalog

Title

A comparison of software verification techniques [microform].

Publication

Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1985]

Details

Additional Authors

Software Engineering Laboratory (Goddard Space Flight Center)

Description

1 v.

Series Statement

• Software Engineering Laboratory series ; SEL-85-001
• NASA TM ; 88585

Uniform Title

NASA technical memorandum ; 88585.

Subject

• Computer software > Verification
• Computer systems performance
• Error detection codes
• Program verification (computers)

Reproduction (note)

• Microfiche.

Call Number

GPO Microfiche NAS 1.15:88585

OCLC

marcive217227119

Title

A comparison of software verification techniques [microform].

Imprint

Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1985]

Series

Software Engineering Laboratory series ; SEL-85-001

NASA TM ; 88585

NASA technical memorandum ; 88585.

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1986. 2 microfiches.

Added Author

Software Engineering Laboratory (Goddard Space Flight Center)

Gpo Item No.

0830-D (MF)

Sudoc No.

NAS 1.15:88585

Research Call Number

GPO Microfiche NAS 1.15:88585