skip to content
Designing programs to check their work Preview this item
ClosePreview this item
Checking...

Designing programs to check their work

Author: Manuel Blum
Publisher: Berkeley, Calif. : International Computer Science Institute, [1988]
Series: Technical report (International Computer Science Institute), TR-88-009.
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
OCLC Number: 28354372
Notes: "A preliminary version of this paper appeared in Blum and Raghavan [BR]."
"November, 1988."
Description: 21 pages ; 28 cm.
Series Title: Technical report (International Computer Science Institute), TR-88-009.
Responsibility: Manuel E. Blum.

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/28354372> # Designing programs to check their work
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "28354372" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3769087911#Place/berkeley_calif> ; # Berkeley, Calif.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   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:creator <http://experiment.worldcat.org/entity/work/data/3769087911#Person/blum_manuel> ; # Manuel Blum
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3769087911> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769087911#Series/technical_report_international_computer_science_institute> ; # Technical report (International Computer Science Institute) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769087911#Series/tr_88_009> ; # TR-88-009
   schema:name "Designing programs to check their work"@en ;
   schema:productID "28354372" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/28354372#PublicationEvent/berkeley_calif_international_computer_science_institute_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3769087911#Agent/international_computer_science_institute> ; # International Computer Science Institute
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/28354372> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3769087911#Agent/international_computer_science_institute> # International Computer Science Institute
    a bgn:Agent ;
   schema:name "International Computer Science Institute" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769087911#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/3769087911#Place/berkeley_calif> # Berkeley, Calif.
    a schema:Place ;
   schema:name "Berkeley, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/3769087911#Series/technical_report_international_computer_science_institute> # Technical report (International Computer Science Institute) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/28354372> ; # Designing programs to check their work
   schema:name "Technical report (International Computer Science Institute) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769087911#Series/tr_88_009> # TR-88-009
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/28354372> ; # Designing programs to check their work
   schema:name "TR-88-009" ;
    .

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