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://experiment.worldcat.org/entity/work/data/21920047#Person/raghavan_prabhakar> ; # Prabhakar Raghavan
   schema:creator <http://experiment.worldcat.org/entity/work/data/21920047#Person/blum_manuel> ; # 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#Person/blum_manuel> # Manuel Blum
    a schema:Person ;
   schema:familyName "Blum" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Blum" ;
    .

<http://experiment.worldcat.org/entity/work/data/21920047#Person/raghavan_prabhakar> # Prabhakar Raghavan
    a schema:Person ;
   schema:familyName "Raghavan" ;
   schema:givenName "Prabhakar" ;
   schema:name "Prabhakar Raghavan" ;
    .

<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_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 ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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