The Resource Validation, verification, and testing for the individual programmer, Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion, Center for Programming Science and Technology, Institute for Computer Sciences and Technology, National Bureau of Standards

Validation, verification, and testing for the individual programmer, Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion, Center for Programming Science and Technology, Institute for Computer Sciences and Technology, National Bureau of Standards

Label
Validation, verification, and testing for the individual programmer
Title
Validation, verification, and testing for the individual programmer
Statement of responsibility
Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion, Center for Programming Science and Technology, Institute for Computer Sciences and Technology, National Bureau of Standards
Creator
Contributor
Author
Subject
Language
eng
Member of
Cataloging source
VPI
http://library.link/vocab/creatorName
Branstad, Martha A
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Cherniavsky, John C.
  • Adrion, W. Richards
  • Center for Programming Science and Technology (Institute for Computer Sciences and Technology)
Series statement
  • Computer science and technology
  • NBS special publication
Series volume
500-56
http://library.link/vocab/subjectName
  • Computer programs
  • Debugging in computer science
Label
Validation, verification, and testing for the individual programmer, Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion, Center for Programming Science and Technology, Institute for Computer Sciences and Technology, National Bureau of Standards
Instantiates
Publication
Note
  • Issued Feb. 1980
  • CODEN: XNBSAV
Bibliography note
Bibliography: page 22
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17005496
Dimensions
26 cm.
Extent
iii, 22 pages
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Validation, verification, and testing for the individual programmer, Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion, Center for Programming Science and Technology, Institute for Computer Sciences and Technology, National Bureau of Standards
Publication
Note
  • Issued Feb. 1980
  • CODEN: XNBSAV
Bibliography note
Bibliography: page 22
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17005496
Dimensions
26 cm.
Extent
iii, 22 pages
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Indiana State LibraryBorrow it
      315 W. Ohio St., Indianapolis, IN, 46202, US
      39.77004 -86.164015

Library Links

Processing Feedback ...