Tools

LEADER 01674cam 2200421 i 4500

001 ocm06157682;

003 OCoLC;

005 20141212182322.0;

008 800912s1980 dcu b f000 0 eng ;

010 a| 80600005;

019 a| 6157773;

020 c| $1.75;

035 a| (Sirsi) o06157682;

035 a| (OCoLC)6157682;

049 a| ERE#;

050 00 a| QC100b| .U57 no. 500-56a| QA76.6;

082 0 a| 602/.18 sa| 001.64/252| 19;

086 0 a| C 13.10:500-56;

100 1 a| Branstad, Martha A.=| ^A597981;

245 10 a| Validation, verification, and testing for the individual programmer /c| Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion.;

260 a| Washington, D.C. :b| U.S. Dept. of Commerce, National Bureau of Standards :b| For sale by Supt. of Docs., U.S. Govt. Print. Off,c| 1980.;

300 a| iii, 22 pages ;c| 28 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| National Bureau of Standards special publication ;v| 500-56.a| Computer science & technology;

504 a| Includes bibliographies.;

650 0 a| Computer programsx| Testing.=| ^A43415;

650 0 a| Computer programsx| Verification.=| ^A118080;

700 1 a| Cherniavsky, John C.,e| author.=| ^A448342;

700 1 a| Adrion, W. Richards,e| author.=| ^A597982;

830 0 a| NBS special publicationv| 500-56.=| ^A2701;

830 0 a| NBS special publication.p| Computer science & technology.=| ^A233467;

994 a| C0b| ERE;

596 a| 1;

998 a| 997749;

999 a| C 13.10:500-56w| SUDOCc| 1i| 30372013330797d| 6/7/2005l| JDOSm| JOYNERr| Ys| Yt| JDOSBKu| 6/7/2005x| BOOKz| JFEDDOCSo| .STAFF. 0;

Validation, verification, and testing for the individual programmer / Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion.

Author/creator	Branstad, Martha A.
Other author	Cherniavsky, John C., author.
Other author	Adrion, W. Richards, author.
Format	Book
Publication Info	Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by Supt. of Docs., U.S. Govt. Print. Off, 1980.
Description	iii, 22 pages ; 28 cm.
Subjects	Computer programs--Testing. Computer programs--Verification.

Series	National Bureau of Standards special publication ; 500-56. Computer science & technology NBS special publication 500-56. ^A2701 NBS special publication. Computer science & technology. ^A233467
Bibliography note	Includes bibliographies.
LCCN	80600005
Govt. docs number	C 13.10:500-56

Library	Location	Call Number	Status	Item Actions
Joyner	Fed Docs Stacks	C 13.10:500-56	✔ Available	Place Hold

Click here for more information about this title