skip to content
The logic of computer programming Preview this item
ClosePreview this item
Checking...

The logic of computer programming

Author: Zohar Manna; Richard J Waldinger; Stanford University. Computer Science Department.
Publisher: Stanford : Department of Computer Science, Stanford University, 1977.
Series: STAN-CS-, 77-611.; AIM, 298.
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: Zohar Manna; Richard J Waldinger; Stanford University. Computer Science Department.
OCLC Number: 606103076
Series Title: STAN-CS-, 77-611.; AIM, 298.
Responsibility: by Zohar Manna and Richard Waldinger.

Reviews

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

Tags

Be the first.
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/606103076> # The logic of computer programming
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "606103076" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856410321#Place/stanford> ; # Stanford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://id.worldcat.org/fast/872443> ; # Computer programs--Testing
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/subjects/sh85029526> ; # Computer programs--Testing
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/50620302> ; # Richard J. Waldinger
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856410321#Organization/stanford_university_computer_science_department> ; # Stanford University. Computer Science Department.
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3856410321> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856410321#Series/stan_cs> ; # STAN-CS- ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856410321#Series/aim> ; # AIM ;
   schema:name "The logic of computer programming"@en ;
   schema:productID "606103076" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/606103076#PublicationEvent/stanford_department_of_computer_science_stanford_university_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3856410321#Agent/department_of_computer_science_stanford_university> ; # Department of Computer Science, Stanford University
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/606103076> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3856410321#Agent/department_of_computer_science_stanford_university> # Department of Computer Science, Stanford University
    a bgn:Agent ;
   schema:name "Department of Computer Science, Stanford University" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856410321#Organization/stanford_university_computer_science_department> # Stanford University. Computer Science Department.
    a schema:Organization ;
   schema:name "Stanford University. Computer Science Department." ;
    .

<http://experiment.worldcat.org/entity/work/data/3856410321#Series/aim> # AIM ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/606103076> ; # The logic of computer programming
   schema:name "AIM ;" ;
   schema:name "AIM- ;" ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

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

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

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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