|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
b2887583 |
| 003 |
CoU |
| 005 |
19981105074343.0 |
| 007 |
he |||||||||| |
| 008 |
981105s1996 vau b f000 0 eng d |
| 035 |
|
|
|a (OCoLC)ocm40238749
|
| 035 |
|
|
|a tmp97128702
|
| 037 |
|
|
|a 19960049725
|b NASA
|
| 040 |
|
|
|a GPO
|c GPO
|d DLC
|d MvI
|
| 049 |
|
|
|a COD9
|a GDWR
|
| 074 |
|
|
|a 0830-H-14 (MF)
|
| 086 |
0 |
|
|a NAS 1.26:4752
|
| 086 |
0 |
|
|a NAS 1.26:4752
|
| 100 |
1 |
|
|a Di Vito, Ben L.
|0 http://id.loc.gov/authorities/names/no99014411
|1 http://isni.org/isni/0000000052550363.
|
| 245 |
1 |
0 |
|a Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
|h [microform] :
|b under contracts NAS1-19341 and NAS9-18817 /
|c Ben L. Di Vito, Larry W. Roberts.
|
| 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 volume.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a microform
|b h
|2 rdamedia.
|
| 338 |
|
|
|a microfiche
|b he
|2 rdacarrier.
|
| 490 |
1 |
|
|a NASA contractor report ;
|v 4752.
|
| 500 |
|
|
|a Shipping list number: 98-0835-M.
|
| 533 |
|
|
|a Microfiche.
|b [Washington, D.C. :
|c National Aeronautics and Space Administration,
|d 1997]
|e 2 microfiches.
|
| 650 |
|
7 |
|a Space Shuttles.
|2 nasat.
|
| 650 |
|
7 |
|a Global positioning system.
|2 nasat.
|
| 650 |
|
7 |
|a Space navigation.
|2 nasat.
|
| 650 |
|
7 |
|a Computer programs.
|2 nasat.
|
| 650 |
|
7 |
|a Space Shuttle missions.
|2 nasat.
|
| 650 |
|
7 |
|a Formalism.
|2 nasat.
|
| 700 |
1 |
|
|a Roberts, Larry W.
|
| 710 |
2 |
|
|a Langley Research Center.
|0 http://id.loc.gov/authorities/names/n79134855
|1 http://isni.org/isni/0000000406376754.
|
| 830 |
|
0 |
|a NASA contractor report ;
|v NASA CR-4752.
|0 http://id.loc.gov/authorities/names/n83825229.
|
| 856 |
4 |
1 |
|z Click here to view online
|u http://hdl.handle.net/2060/19960049725
|
| 907 |
|
|
|a .b28875837
|b 03-19-20
|c 12-28-98
|
| 998 |
|
|
|a web
|b 12-28-98
|c -
|d m
|e -
|f eng
|g vau
|h 0
|i 2
|
| 907 |
|
|
|a .b28875837
|b 11-23-14
|c 12-28-98
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b28875837
|b 12-20-08
|c 12-28-98
|
| 907 |
|
|
|a .b28875837
|b 03-24-08
|c 12-28-98
|
| 946 |
|
|
|a nasa
|
| 999 |
f |
f |
|i aefde51c-ddde-5544-9591-e70395708f74
|s 8486ed65-c7ea-5028-b830-28d0efecb495
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e NAS 1.26:4752
|h Superintendent of Documents classification
|i web
|n 1
|
