skip to content
Validation, verification, and testing for the individual programmer Preview this item
ClosePreview this item
Checking...

Validation, verification, and testing for the individual programmer

Author: Martha A Branstad; John C Cherniavsky; W Richards Adrion
Publisher: Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by Supt. of Docs., U.S. Govt. Print. Off., 1980.
Series: NBS special publication, 500-56.; NBS special publication., Computer science & technology.
Edition/Format:   Print book : National government publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Branstad, Martha A.
Validation, verification, and testing for the individual programmer.
Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by Supt. of Docs., U.S. Govt. Print. Off., 1980
(OCoLC)609597098
Online version:
Branstad, Martha A.
Validation, verification, and testing for the individual programmer.
Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by Supt. of Docs., U.S. Govt. Print. Off., 1980
(OCoLC)615817028
Material Type: Government publication, National government publication
Document Type: Book
All Authors / Contributors: Martha A Branstad; John C Cherniavsky; W Richards Adrion
OCLC Number: 6157682
Description: iii, 22 pages ; 28 cm.
Series Title: NBS special publication, 500-56.; NBS special publication., Computer science & technology.
Responsibility: Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/6157682> # Validation, verification, and testing for the individual programmer
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "6157682" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/dcu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1941433148#Place/washington_d_c> ; # Washington, D.C.
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://dewey.info/class/602.18/e19/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85029526> ; # Computer programs--Testing
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://id.worldcat.org/fast/872443> ; # Computer programs--Testing
   schema:author <http://viaf.org/viaf/91917305> ; # W. Richards Adrion
   schema:author <http://viaf.org/viaf/276696437> ; # John C. Cherniavsky
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/91919087> ; # Martha A. Branstad
   schema:datePublished "1980" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1941433148> ;
   schema:genre "National government publication"@en ;
   schema:genre "Government publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1941433148#Series/national_bureau_of_standards_special_publication_computer_science_&_technology> ; # National Bureau of Standards special publication ; Computer science & technology
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1941433148#Series/nbs_special_publication> ; # NBS special publication.
   schema:isSimilarTo <http://www.worldcat.org/oclc/615817028> ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/609597098> ;
   schema:name "Validation, verification, and testing for the individual programmer"@en ;
   schema:productID "6157682" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/6157682#PublicationEvent/washington_d_c_u_s_dept_of_commerce_national_bureau_of_standards_for_sale_by_supt_of_docs_u_s_govt_print_off_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1941433148#Agent/u_s_dept_of_commerce_national_bureau_of_standards> ; # U.S. Dept. of Commerce, National Bureau of Standards
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1941433148#Agent/for_sale_by_supt_of_docs_u_s_govt_print_off> ; # For sale by Supt. of Docs., U.S. Govt. Print. Off.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/6157682> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1941433148#Agent/for_sale_by_supt_of_docs_u_s_govt_print_off> # For sale by Supt. of Docs., U.S. Govt. Print. Off.
    a bgn:Agent ;
   schema:name "For sale by Supt. of Docs., U.S. Govt. Print. Off." ;
    .

<http://experiment.worldcat.org/entity/work/data/1941433148#Agent/u_s_dept_of_commerce_national_bureau_of_standards> # U.S. Dept. of Commerce, National Bureau of Standards
    a bgn:Agent ;
   schema:name "U.S. Dept. of Commerce, National Bureau of Standards" ;
    .

<http://experiment.worldcat.org/entity/work/data/1941433148#Place/washington_d_c> # Washington, D.C.
    a schema:Place ;
   schema:name "Washington, D.C." ;
    .

<http://experiment.worldcat.org/entity/work/data/1941433148#Series/national_bureau_of_standards_special_publication_computer_science_&_technology> # National Bureau of Standards special publication ; Computer science & technology
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/6157682> ; # Validation, verification, and testing for the individual programmer
   schema:name "National Bureau of Standards special publication ; Computer science & technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/1941433148#Series/nbs_special_publication> # NBS special publication.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/6157682> ; # Validation, verification, and testing for the individual programmer
   schema:name "NBS special publication." ;
   schema:name "NBS special publication ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029526> # Computer programs--Testing
    a schema:Intangible ;
   schema:name "Computer programs--Testing"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029528> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

<http://id.worldcat.org/fast/872443> # Computer programs--Testing
    a schema:Intangible ;
   schema:name "Computer programs--Testing"@en ;
    .

<http://id.worldcat.org/fast/872448> # Computer programs--Verification
    a schema:Intangible ;
   schema:name "Computer programs--Verification"@en ;
    .

<http://viaf.org/viaf/276696437> # John C. Cherniavsky
    a schema:Person ;
   schema:familyName "Cherniavsky" ;
   schema:givenName "John C." ;
   schema:name "John C. Cherniavsky" ;
    .

<http://viaf.org/viaf/91917305> # W. Richards Adrion
    a schema:Person ;
   schema:familyName "Adrion" ;
   schema:givenName "W. Richards" ;
   schema:name "W. Richards Adrion" ;
    .

<http://viaf.org/viaf/91919087> # Martha A. Branstad
    a schema:Person ;
   schema:familyName "Branstad" ;
   schema:givenName "Martha A." ;
   schema:name "Martha A. Branstad" ;
    .

<http://www.worldcat.org/oclc/609597098>
    a schema:CreativeWork ;
   rdfs:label "Validation, verification, and testing for the individual programmer." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/6157682> ; # Validation, verification, and testing for the individual programmer
    .

<http://www.worldcat.org/oclc/615817028>
    a schema:CreativeWork ;
   rdfs:label "Validation, verification, and testing for the individual programmer." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/6157682> ; # Validation, verification, and testing for the individual programmer
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.