skip to content
The foundations of program verification Preview this item
ClosePreview this item
Checking...

The foundations of program verification

Author: Jacques Loeckx; Kurt Sieber; Ryan D Stansifer
Publisher: Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, ©1987.
Series: Wiley-Teubner series in computer science.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Summary:

The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D.

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Loeckx, Jacques, 1931-
Foundations of program verification.
Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, ©1987
(OCoLC)651835362
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jacques Loeckx; Kurt Sieber; Ryan D Stansifer
ISBN: 0471912824 9780471912828 3519121018 9783519121015
OCLC Number: 14069178
Description: ix, 230 pages : illustrations ; 24 cm.
Contents: PRELIMINARIES. Mathematical Preliminaries. Predicate Logic. SEMANTICS OF PROGRAMMING LANGUAGES. Three Simple Programming Languages. Fixpoints in Complete Partial Orders. Denotational Semantics. PROGRAM VERIFICATION METHODS. Correctness of Programs. The Classical Methods of Floyd. The Axiomatic Method of Hoare. Verfication Methods Based on Denotational Semantics. LCF, A Logic for Computable Functions. PROSPECTS. An Overview of Further Developments. Bibliography. Index.
Series Title: Wiley-Teubner series in computer science.
Responsibility: Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.
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/14069178> # The foundations of program verification
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "14069178" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7255170#Place/stuttgart> ; # Stuttgart
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7255170#Place/chichester_west_sussex> ; # Chichester West Sussex
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/verificatie> ; # Verificatie
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://dewey.info/class/005.14/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Thing/computer_systems> ; # Computer systems
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/programmverifikation> ; # Programmverifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/software> ; # Software
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/logica_e_semantica_de_programacao> ; # Logica E Semantica De Programacao
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/diagnostico_e_sistemas_de_avaliacao_computadores> ; # Diagnostico E Sistemas De Avaliacao (Computadores)
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_fiabilite> ; # Logiciels--Fiabilité
   schema:about <http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_verification> ; # Logiciels--Vérification
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/62056155> ; # Kurt Sieber
   schema:contributor <http://viaf.org/viaf/70304508> ; # Ryan D. Stansifer
   schema:copyrightYear "1987" ;
   schema:creator <http://viaf.org/viaf/261063442> ; # Jacques Loeckx
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/7255170> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7255170#Series/wiley_teubner_series_in_computer_science> ; # Wiley-Teubner series in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/651835362> ;
   schema:name "The foundations of program verification"@en ;
   schema:productID "14069178" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/14069178#PublicationEvent/stuttgart_b_g_teubner_chichester_west_sussex_new_york_wiley_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/7255170#Agent/wiley> ; # Wiley
   schema:publisher <http://experiment.worldcat.org/entity/work/data/7255170#Agent/b_g_teubner> ; # B.G. Teubner
   schema:url <http://www.gbv.de/dms/bowker/toc/9780471912828.pdf> ;
   schema:url <http://www3.ub.tu-berlin.de/ihv/000308557.pdf> ;
   schema:url <http://catdir.loc.gov/catdir/toc/onix02/86019008.html> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000396352&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780471912828> ;
   schema:workExample <http://worldcat.org/isbn/9783519121015> ;
   umbel:isLike <http://d-nb.info/861217888> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8733308> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/14069178> ;
    .


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/7255170#Place/chichester_west_sussex> # Chichester West Sussex
    a schema:Place ;
   schema:name "Chichester West Sussex" ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Series/wiley_teubner_series_in_computer_science> # Wiley-Teubner series in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/14069178> ; # The foundations of program verification
   schema:name "Wiley-Teubner series in computer science." ;
   schema:name "Wiley-Teubner series in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Thing/computer_systems> # Computer systems
    a schema:Thing ;
   schema:name "Computer systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Topic/diagnostico_e_sistemas_de_avaliacao_computadores> # Diagnostico E Sistemas De Avaliacao (Computadores)
    a schema:Intangible ;
   schema:name "Diagnostico E Sistemas De Avaliacao (Computadores)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Topic/logica_e_semantica_de_programacao> # Logica E Semantica De Programacao
    a schema:Intangible ;
   schema:name "Logica E Semantica De Programacao"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_fiabilite> # Logiciels--Fiabilité
    a schema:Intangible ;
   schema:name "Logiciels--Fiabilité"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_verification> # Logiciels--Vérification
    a schema:Intangible ;
   schema:name "Logiciels--Vérification"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/7255170#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
   schema:name "Programmverifikation"@en ;
    .

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

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

<http://viaf.org/viaf/261063442> # Jacques Loeckx
    a schema:Person ;
   schema:birthDate "1931" ;
   schema:familyName "Loeckx" ;
   schema:givenName "Jacques" ;
   schema:name "Jacques Loeckx" ;
    .

<http://viaf.org/viaf/62056155> # Kurt Sieber
    a schema:Person ;
   schema:familyName "Sieber" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Sieber" ;
    .

<http://viaf.org/viaf/70304508> # Ryan D. Stansifer
    a schema:Person ;
   schema:familyName "Stansifer" ;
   schema:givenName "Ryan D." ;
   schema:name "Ryan D. Stansifer" ;
    .

<http://worldcat.org/isbn/9780471912828>
    a schema:ProductModel ;
   schema:isbn "0471912824" ;
   schema:isbn "9780471912828" ;
    .

<http://worldcat.org/isbn/9783519121015>
    a schema:ProductModel ;
   schema:isbn "3519121018" ;
   schema:isbn "9783519121015" ;
    .

<http://www.worldcat.org/oclc/651835362>
    a schema:CreativeWork ;
   rdfs:label "Foundations of program verification." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/14069178> ; # The foundations of program verification
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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