skip to content
Program correctness : can one test for it? Preview this item
ClosePreview this item
Checking...

Program correctness : can one test for it?

Author: Manuel Blum; Prabhakar Raghavan
Publisher: Yorktown Heights, N.Y. : IBM T.J. Watson Research Center, 1988.
Series: International Business Machines Corporation.; Research Division.; Research report
Edition/Format:   Print book : 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

Document Type: Book
All Authors / Contributors: Manuel Blum; Prabhakar Raghavan
OCLC Number: 19546424
Description: 13 pages ; 28 cm.
Series Title: International Business Machines Corporation.; Research Division.; Research report
Responsibility: Manuel Blum, Prabhakar Raghavan.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/19546424> # Program correctness : can one test for it?
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "19546424" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21920047#Place/yorktown_heights_n_y> ; # Yorktown Heights, N.Y.
    schema:about <http://id.worldcat.org/fast/872413> ; # Computer programs--Correctness
    schema:about <http://id.loc.gov/authorities/subjects/sh85029525> ; # Computer programs--Correctness
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/41077677> ; # Prabhakar Raghavan
    schema:creator <http://viaf.org/viaf/196550860> ; # Manuel Blum
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/21920047> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21920047#Series/research_report> ; # Research report ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21920047#Series/research_report_rc_international_business_machines_corporation_research_division> ; # Research report RC. International Business Machines Corporation. Research Division ;
    schema:name "Program correctness : can one test for it?"@en ;
    schema:productID "19546424" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/19546424#PublicationEvent/yorktown_heights_n_y_ibm_t_j_watson_research_center_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/21920047#Agent/ibm_t_j_watson_research_center> ; # IBM T.J. Watson Research Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/19546424> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/21920047#Agent/ibm_t_j_watson_research_center> # IBM T.J. Watson Research Center
    a bgn:Agent ;
    schema:name "IBM T.J. Watson Research Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/21920047#Organization/international_business_machines_corporation_research_division> # International Business Machines Corporation. Research Division.
    a schema:Organization ;
    schema:name "International Business Machines Corporation. Research Division." ;
    .

<http://experiment.worldcat.org/entity/work/data/21920047#Place/yorktown_heights_n_y> # Yorktown Heights, N.Y.
    a schema:Place ;
    schema:name "Yorktown Heights, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/21920047#Series/research_report> # Research report ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/21920047#Organization/international_business_machines_corporation_research_division> ; # International Business Machines Corporation. Research Division.
    schema:hasPart <http://www.worldcat.org/oclc/19546424> ; # Program correctness : can one test for it?
    schema:name "Research report ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/21920047#Series/research_report_rc_international_business_machines_corporation_research_division> # Research report RC. International Business Machines Corporation. Research Division ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/19546424> ; # Program correctness : can one test for it?
    schema:name "Research report RC. International Business Machines Corporation. Research Division ;" ;
    .

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

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

<http://viaf.org/viaf/196550860> # Manuel Blum
    a schema:Person ;
    schema:familyName "Blum" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Blum" ;
    .

<http://viaf.org/viaf/41077677> # Prabhakar Raghavan
    a schema:Person ;
    schema:familyName "Raghavan" ;
    schema:givenName "Prabhakar" ;
    schema:name "Prabhakar Raghavan" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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