| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
in00002783029 |
| 005 |
20211120170440.0 |
| 006 |
m o d f |
| 007 |
cr bn||||||||| |
| 008 |
121127s1988 dcu obt f000 0 eng d |
| 035 |
|
|
|a (OCoLC)ocn819418933
|
| 040 |
|
|
|a GPO
|c GPO
|d GPO
|d MvI
|d UtOrBLW
|
| 049 |
|
|
|a WWW
|
| 074 |
|
|
|a 0830-H-14 (online)
|
| 086 |
0 |
|
|a NAS 1.26:184875
|
| 100 |
1 |
|
|a Reddy, Uday S.
|
| 245 |
1 |
0 |
|a Transformational derivation of programs using the Focus system /
|c Uday S. Reddy.
|
| 264 |
|
1 |
|a [Washington, D.C.] :
|b [National Aeronautics and Space Administration],
|c [1988]
|
| 300 |
|
|
|a 1 online resource (22 pages).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a NASA contractor report ;
|v NASA-CR-184875
|
| 500 |
|
|
|a Title from label (viewed on Nov. 27, 2012).
|
| 500 |
|
|
|a "September 2, 1988."
|
| 504 |
|
|
|a Includes bibliographical references (pages 20-22).
|
| 536 |
|
|
|a Supported in part by NASA grant
|c NAG1-613
|
| 500 |
|
|
|a "CHORS-TM-89-001."
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
7 |
|a Applications programs (computers)
|2 nasat
|
| 650 |
|
7 |
|a Computer programming.
|2 nasat
|
| 650 |
|
7 |
|a Program verification (computers)
|2 nasat
|
| 650 |
|
7 |
|a Software development tools.
|2 nasat
|
| 650 |
|
7 |
|a Software engineering.
|2 nasat
|
| 710 |
1 |
|
|a United States.
|b National Aeronautics and Space Administration.
|
| 776 |
0 |
8 |
|i Print version:
|a Reddy, Uday S.
|t Transformational derivation of programs using the Focus system.
|w (OCoLC)819418942
|
| 776 |
0 |
8 |
|i Microfiche:
|a Reddy, Uday S.
|t Transformational derivation of programs using the Focus system.
|w (OCoLC)819417231
|
| 830 |
|
0 |
|a NASA contractor report ;
|v NASA CR-184875.
|
| 856 |
4 |
0 |
|u https://purl.fdlp.gov/GPO/gpo30685
|t 0
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s f5470ecd-87b7-3bf1-a5e4-7a6e26f156a6
|i 84a89b7b-dac9-31be-8360-c243eaf71806
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e NAS 1.26:184875
|h Superintendent of Documents classification
|
| 998 |
f |
f |
|a NAS 1.26:184875
|t 0
|l Available Online
|