skip to content
Is Preview this item
ClosePreview this item
Checking...

Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness

Author: Zohar Manna; Richard Waldinger
Publisher: Stanford, Cal. : Stanford University, Computer Science Dept., 1977.
Series: Computer Science Department Report no. STAN-CS-76-558; Stanford Artificial Intelligence Laboratory Memo AIM-281.1
Edition/Format:   Print book : EnglishView all editions and formats
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: Zohar Manna; Richard Waldinger
OCLC Number: 3681599
Notes: Revised and simplified version of AIM-281, June 1976.
ADA 042 507.
Description: [ii], 38 leaves ; 28 cm.
Series Title: Computer Science Department Report no. STAN-CS-76-558; Stanford Artificial Intelligence Laboratory Memo AIM-281.1
Responsibility: by Zohar Manna [and] Richard Waldinger.

Reviews

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

Tags

Be the first.

Similar Items

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/3681599> # Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "3681599" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/11875667#Place/stanford_cal> ; # Stanford, Cal.
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.worldcat.org/fast/872410> ; # Computer programs
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/50620302> ; # Richard Waldinger
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/11875667> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11875667#Series/stanford_artificial_intelligence_laboratory_memo_aim_281_1> ; # Stanford Artificial Intelligence Laboratory Memo AIM-281.1
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11875667#Series/computer_science_department_report_no_stan_cs_76_558> ; # Computer Science Department Report no. STAN-CS-76-558
   schema:name "Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness"@en ;
   schema:productID "3681599" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/3681599#PublicationEvent/stanford_cal_stanford_university_computer_science_dept_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/11875667#Agent/stanford_university_computer_science_dept> ; # Stanford University, Computer Science Dept.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/3681599> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/11875667#Agent/stanford_university_computer_science_dept> # Stanford University, Computer Science Dept.
    a bgn:Agent ;
   schema:name "Stanford University, Computer Science Dept." ;
    .

<http://experiment.worldcat.org/entity/work/data/11875667#Series/computer_science_department_report_no_stan_cs_76_558> # Computer Science Department Report no. STAN-CS-76-558
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/3681599> ; # Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness
   schema:name "Computer Science Department Report no. STAN-CS-76-558" ;
    .

<http://experiment.worldcat.org/entity/work/data/11875667#Series/stanford_artificial_intelligence_laboratory_memo_aim_281_1> # Stanford Artificial Intelligence Laboratory Memo AIM-281.1
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/3681599> ; # Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness
   schema:name "Stanford Artificial Intelligence Laboratory Memo AIM-281.1" ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

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

<http://viaf.org/viaf/50620302> # Richard Waldinger
    a schema:Person ;
   schema:familyName "Waldinger" ;
   schema:givenName "Richard" ;
   schema:name "Richard Waldinger" ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
   schema:familyName "Manna" ;
   schema:givenName "Zohar" ;
   schema:name "Zohar Manna" ;
    .

<http://www.worldcat.org/title/-/oclc/3681599>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/3681599> ; # Is "sometime" sometimes better than "always"? : Intermittent assertions in proving program correctness
   schema:dateModified "2018-03-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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