LEADER 01453aam 2200397I 450 001 9910711200903321 005 20151030113007.0 024 8 $aGOVPUB-C13-19874d3e11908b29a51a325163dd69bf 035 $a(CKB)5470000002479997 035 $a(OCoLC)927169668 035 $a(EXLCZ)995470000002479997 100 $a20151030d1980 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aValidation, verification, and testing for the individual programmer /$fMartha A. Branstad, John C. Cherniavsky, W. Richards Adrion 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d1980. 215 $a1 online resource 225 1 $aNBS special publication ;$v500-56 300 $a1980. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 700 $aBranstad$b Martha A$01401493 701 $aAdrion$b W. Richards$0855831 701 $aBranstad$b Martha A$01401493 701 $aCherniavsky$b John C$01394715 712 02$aUnited States.$bNational Bureau of Standards. 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910711200903321 996 $aValidation, verification, and testing for the individual programmer$93538352 997 $aUNINA