Research Catalog

Title

A bitvectorss library for PVS [microform] / Ricky W. Butler ... [et al.].

Publication

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]

Details

Additional Authors

• Butler, Ricky W.
• Langley Research Center

Description

1 v.

Series Statement

NASA technical memorandum ; 110274

Subject

• Hardware
• Proving
• Bit synchronization

Note

• Shipping list no.: 98-0599-M.

Reproduction (note)

• Microfiche.

Call Number

READEX Microfiche NAS 1.15:110274

OCLC

40173207

Title

A bitvectorss library for PVS [microform] / Ricky W. Butler ... [et al.].

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]

Series

NASA technical memorandum ; 110274

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.

Added Author

Butler, Ricky W.

Langley Research Center.

Gpo Item No.

0830-D (MF)

Sudoc No.

NAS 1.15:110274

Research Call Number

READEX Microfiche NAS 1.15:110274