Item Details

Print View

A Bitvectorss Library for PVS [microform]

Ricky W. Butler ... [et al.]
Format
Book; Government Document; Microform
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
Language
English
Series
NASA Technical Memorandum
SuDoc Number
NAS 1.15:110274
Description
1 v.
Notes
Shipping list no.: 98-0599-M.
Reproduction Notes
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.
Series Statement
NASA technical memorandum 110274
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01277nam a22003617a 4500
    001 u2795469
    003 SIRSI
    005 19981027101737.0
    008 981027s1996 vau b f000 0 eng d
    035
      
      
    a| (Sirsi) tmp97125275
    035
      
      
    a| (OCoLC)40173207
    037
      
      
    a| 19970001377 b| NASA
    040
      
      
    a| GPO c| GPO d| DLC d| MvI
    049
      
      
    a| VAMM
    074
      
      
    a| 0830-D (MF)
    086
    0
      
    a| NAS 1.15:110274
    245
    0
    2
    a| A bitvectorss library for PVS h| [microform] / c| Ricky W. Butler ... [et al.].
    260
      
      
    a| Hampton, Va. : b| National Aeronautics and Space Administration, Langley Research Center ; a| [Springfield, Va. : b| National Technical Information Service, distributor, c| 1996]
    300
      
      
    a| 1 v.
    440
      
    0
    a| NASA technical memorandum v| 110274
    500
      
      
    a| Shipping list no.: 98-0599-M.
    533
      
      
    a| Microfiche. b| [Washington, D.C. : c| National Aeronautics and Space Administration, d| 1997] e| 1 microfiche.
    596
      
      
    a| 2
    650
      
    7
    a| Hardware. 2| nasat
    650
      
    7
    a| Proving. 2| nasat
    650
      
    7
    a| Bit synchronization. 2| nasat
    700
    1
      
    a| Butler, Ricky W.
    710
    2
      
    a| Langley Research Center.
    900
      
      
    a| tmp97125275
    999
      
      
    a| NAS 1.15:110274 w| SUDOC i| X005032068 l| 3EAST m| ALDERMAN t| MICROFICHE
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Alderman 3rd Floor East Reading Room N/A Available Non-Circ.