LEADER 01720oam  2200481Ia 450 
001 9910702370303321
005 20121127132634.0
035   $a(CKB)5470000002426454
035   $a(OCoLC)819418933
035   $a(EXLCZ)995470000002426454
100   $a20121127d1988      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTransformational derivation of programs using the Focus system$b[electronic resource] /$fUday S. Reddy
210  1$a[Washington, D.C.] :$c[National Aeronautics and Space Administration],$d[1988]
215   $a1 online resource (22 pages)
225 1 $a[NASA contractor report] ;$vNASA-CR-184875
300   $aTitle from label (viewed on Nov. 27, 2012).
300   $a"September 2, 1988."
300   $a"CHORS-TM-89-001."
320   $aIncludes bibliographical references (pages 20-22).
606   $aApplications programs (computers)$2nasat
606   $aComputer programming$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSoftware development tools$2nasat
606   $aSoftware engineering$2nasat
615  7$aApplications programs (computers)
615  7$aComputer programming.
615  7$aProgram verification (computers)
615  7$aSoftware development tools.
615  7$aSoftware engineering.
700   $aReddy$b Uday S$01386312
712 02$aUnited States.$bNational Aeronautics and Space Administration.
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910702370303321
996   $aTransformational derivation of programs using the Focus system$93435174
997   $aUNINA