A bitvectorss library for PVS /

A bitvectorss library for PVS /

Bibliographic Details
Corporate Author: Langley Research Center
Other Authors: Butler, Ricky W.
Format: Government Document Book
Language:English
Published: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [1996]
Series:NASA technical memorandum ; 110274.
Subjects:
Hardware.
Proving.
Bit synchronization.

Evans: US Documents Microfiche (3rd floor)

Holdings details from Evans: US Documents Microfiche (3rd floor)
Call Number: NAS 1.15:110274
 
Call Number Status Get It
NAS 1.15:110274 Available