| Record ID | bcl_marc/bcl_open.03.mrc:208173214:1532 |
| Source | bcl_marc |
| Download Link | /show-records/bcl_marc/bcl_open.03.mrc:208173214:1532?format=raw |
LEADER: 01532nam 22003617a 4500
004 GPP8850
005 20000524102300.0
008 990525s1997 wvu b f000 0 eng d
035 $a(OCoLC)ocm41430784
035 9 $aGPP8850
037 $a19980017028$bNASA
040 $aGPO$cGPO$dDLC$dMvI
049 $aBXMX
074 $a0830-H-14 (MF)
086 0 $aNAS 1.26:207040
100 1 $aEasterbrook, Steve.
245 10 $aFormal methods for verification and validation of partial specifications$h[microform] : a case study /$cby Steve Easterbrook and John Callahan.
260 $a[Fairmont, W. Va.] :$bWest Virginia University ;$a[Washington, DC] :$bNational Aeronautics and Space Administration ;$a[Springfield, Va. :$bNational Technical Information Service, distributor,$c1997]
300 $a1 v.
490 0 $aTechnical report series ;$vNASA/IVV-97-010
500 $aShipping list no.: 99-0323-M.
533 $aMicrofiche.$b[Washington, D.C. :$cNational Aeronautics and Space Administration,$d1998]$e1 microfiche.$f(NASA/CR ; 97-207040).
650 7 $aProgram verification (Computers)$2nasat
650 7 $aSpecifications.$2nasat
650 7 $aSoftware development tools.$2nasat
650 7 $aFault detection.$2nasat
650 7 $aComputer programs.$2nasat
650 7 $aSafety.$2nasat
700 1 $aCallahan, John.
710 1 $aUnited States.$bNational Aeronautics and Space Administration.
830 0 $aNASA contractor report$vNASA CR-207040..
852 30 $aMChB$bGOV$cFICHE$hNAS 1.26:207040$91
948 $aLTI 08/08/2000