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:   Book : English
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


<http://www.worldcat.org/oclc/19546424>
library:oclcnum"19546424"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/19546424>
rdf:typeschema:Book
schema:about
<http://id.worldcat.org/fast/872413>
rdf:typeschema:Intangible
schema:name"Computer programs--Correctness"@en
schema:name"Computer programs--Correctness."@en
schema:about
schema:contributor
schema:creator
schema:datePublished"1988"
schema:exampleOfWork<http://worldcat.org/entity/work/id/21920047>
schema:inLanguage"en"
schema:name"Program correctness : can one test for it?"@en
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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