Validation, verification, and testing for the individual programmer

LDR 01629cam a2200421 i 4500
001 006865888
003 MiAaHDL
005 20240501000000.0
006 m d
007 cr bn ---auaua
008 800912s1980 dcu b f000 0 eng
010 ⊔ ⊔ ‡a80600005
020 ⊔ ⊔ ‡c$1.75
029 1 ⊔ ‡aNZ1 ‡b12270935
029 1 ⊔ ‡aAU@ ‡b000001806233
029 1 ⊔ ‡aNLGGC ‡b109149491
035 ⊔ ⊔ ‡a(MiU)990068658880106381
035 ⊔ ⊔ ‡asdr-miu.990068658880106381
035 ⊔ ⊔ ‡asdr-ucr991005056179704706
035 ⊔ ⊔ ‡z(MiU)MIU01000000000000006865888-goog
035 ⊔ ⊔ ‡z(OCoLC)6157773
035 ⊔ ⊔ ‡a(OCoLC)6157682
035 ⊔ ⊔ ‡z(MiU)Aleph006865888
040 ⊔ ⊔ ‡aDLC ‡cDLC ‡dOCLCQ ‡dBTCTA ‡dLHL ‡dAU@ ‡dNSBSP
049 ⊔ ⊔ ‡aNSBA
086 0 ⊔ ‡aC 13.10:500-56
100 1 ⊔ ‡aBranstad, Martha A.
245 1 0 ‡aValidation, verification, and testing for the individual programmer / ‡cMartha A. Branstad, John C. Cherniavsky, W. Richards Adrion.
260 ⊔ ⊔ ‡aWashington, D.C. : ‡bU.S. Dept. of Commerce, National Bureau of Standards : ‡bFor sale by Supt. of Docs., U.S. Govt. Print. Off., ‡c1980.
300 ⊔ ⊔ ‡aiii, 22 p. ; ‡c27 cm.
490 0 ⊔ ‡aNational Bureau of Standards special publication ; ‡v500-56. ‡aComputer science & technology
504 ⊔ ⊔ ‡aIncludes bibliographies.
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aComputer programs ‡xVerification.
650 ⊔ 0 ‡aComputer programs ‡xTesting.
700 1 ⊔ ‡aAdrion, W. Richards, ‡ejoint author.
700 1 ⊔ ‡aCherniavsky, John C., ‡ejoint author.
710 1 ⊔ ‡aUnited States. ‡bNational Bureau of Standards. ‡tSpecial publication.
710 2 ⊔ ‡aInstitute for Computer Sciences and Technology.
899 ⊔ ⊔ ‡a39015077584921
CID ⊔ ⊔ ‡a006865888
DAT 0 ⊔ ‡a20240430083958.0 ‡b20240501000000.0
DAT 1 ⊔ ‡a20240501060559.0 ‡b2024-05-01T13:54:21Z
DAT 2 ⊔ ‡a2024-02-23T18:30:02Z
CAT ⊔ ⊔ ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-008
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-miu.990068658880106381 ‡aMiU ‡bSDR ‡cGWLA ‡f006865888 ‡pmdp.39015077584921 ‡sMIU ‡1990068658880106381
974 ⊔ ⊔ ‡bMIU ‡cGWLA ‡d20240501 ‡sgoogle ‡umdp.39015077584921 ‡y1980 ‡rpd ‡qbib ‡tUS fed doc
974 ⊔ ⊔ ‡bUC ‡cUCR ‡d20240521 ‡sgoogle ‡uuc1.31210025449644 ‡y1980 ‡rpd ‡qbib ‡tUS fed doc