skip to content
Predicate calculus and program semantics Preview this item
ClosePreview this item
Checking...

Predicate calculus and program semantics

Author: Edsger Wybe Dijkstra; Carel S Scholten
Publisher: New York : Springer-Verlag, ©1990.
Series: Texts and monographs in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This text gives a foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Dijkstra, Edsger Wybe.
Predicate calculus and program semantics.
New York : Springer-Verlag, ©1990
(OCoLC)608739032
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Edsger Wybe Dijkstra; Carel S Scholten
ISBN: 0387969578 9780387969572 3540969578 9783540969570
OCLC Number: 20014580
Notes: Includes index.
Description: x, 220 pages : illustrations ; 25 cm.
Series Title: Texts and monographs in computer science.
Responsibility: Edsger W. Dijkstra, Carel S. Scholten.
More information:

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/20014580> # Predicate calculus and program semantics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20014580" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenkalkul> ; # Prädikatenkalkül
   schema:about <http://id.worldcat.org/fast/1075023> ; # Predicate calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenumformer> ; # Prädikatenumformer
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/predicate_calculus> ; # Predicate calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_des_predicats> ; # Calcul des prédicats
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantiek> ; # Semantiek
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/predicatenlogica> ; # Predicatenlogica
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantique_langage> ; # sémantique langage
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/21358674#Topic/programming_languages_electronic_computers_semantics> ; # Programming languages (Electronic computers)--Semantics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/3111206> ; # Carel S. Scholten
   schema:copyrightYear "1990" ;
   schema:creator <http://viaf.org/viaf/17820452> ; # Edsger Wybe Dijkstra
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/21358674> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21358674#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/608739032> ;
   schema:name "Predicate calculus and program semantics"@en ;
   schema:productID "20014580" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20014580#PublicationEvent/new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/21358674#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz018013287cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540969570> ;
   schema:workExample <http://worldcat.org/isbn/9780387969572> ;
   umbel:isLike <http://d-nb.info/900552530> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20014580> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20014580> ; # Predicate calculus and program semantics
   schema:name "Texts and monographs in computer science." ;
   schema:name "Texts and monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/calcul_des_predicats> # Calcul des prédicats
    a schema:Intangible ;
   schema:name "Calcul des prédicats"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@en ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenkalkul> # Prädikatenkalkül
    a schema:Intangible ;
   schema:name "Prädikatenkalkül"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/pradikatenumformer> # Prädikatenumformer
    a schema:Intangible ;
   schema:name "Prädikatenumformer"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/predicate_calculus> # Predicate calculus
    a schema:Intangible ;
   schema:name "Predicate calculus"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
   schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/programming_languages_electronic_computers_semantics> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/21358674#Topic/semantique_langage> # sémantique langage
    a schema:Intangible ;
   schema:name "sémantique langage"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1075023> # Predicate calculus
    a schema:Intangible ;
   schema:name "Predicate calculus"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://viaf.org/viaf/17820452> # Edsger Wybe Dijkstra
    a schema:Person ;
   schema:familyName "Dijkstra" ;
   schema:givenName "Edsger Wybe" ;
   schema:name "Edsger Wybe Dijkstra" ;
    .

<http://viaf.org/viaf/3111206> # Carel S. Scholten
    a schema:Person ;
   schema:familyName "Scholten" ;
   schema:givenName "Carel S." ;
   schema:name "Carel S. Scholten" ;
    .

<http://worldcat.org/isbn/9780387969572>
    a schema:ProductModel ;
   schema:isbn "0387969578" ;
   schema:isbn "9780387969572" ;
    .

<http://worldcat.org/isbn/9783540969570>
    a schema:ProductModel ;
   schema:isbn "3540969578" ;
   schema:isbn "9783540969570" ;
    .

<http://www.worldcat.org/oclc/608739032>
    a schema:CreativeWork ;
   rdfs:label "Predicate calculus and program semantics." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20014580> ; # Predicate calculus and program semantics
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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