A bitvectors library for PVS / Ricky W. Butler [and others].
| Other author | Butler, Ricky W. |
| Other author | Langley Research Center. |
| Format | Book |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1996] |
| Description | 1 volume. |
| Series | NASA technical memorandum ; 110274 NASA technical memorandum 110274. ^A467613 |
| General note | Shipping list no.: 1998-0599-M. |
| General note | "August 1996." |
| General note | CRDP Project record. |
| Reproduction note | Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997]. 1 microfiche. |
| Issued in other form | Print version: Bitvectors library for PVS |
| Issued in other form | Online version: Butler, Ricky W. Bitvectors library for PVS |
| GPO item number | 0830-D (MF) |
| Govt. docs number | NAS 1.15:110274 |
| Stock number | 19970001377 NASA |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | Microforms B300 | NAS 1.15:110274 | ✔ Available |