skip to content
Verifiable programming Preview this item
ClosePreview this item
Checking...

Verifiable programming

Author: Ole-Johan Dahl
Publisher: New York : Prentice Hall, 1992.
Series: Prentice-Hall international series in computer science.
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 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:
Dahl, Ole-Johan, 1931-
Verifiable programming.
New York : Prentice Hall, 1992
(OCoLC)609227029
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ole-Johan Dahl
ISBN: 0139510621 9780139510625
OCLC Number: 24792411
Description: ix, 269 pages ; 24 cm.
Series Title: Prentice-Hall international series in computer science.
Responsibility: Ole-Johan Dahl.
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/24792411> # Verifiable programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "24792411" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/43513668#Thing/programming> ; # Programming
   schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmverifikation> ; # Programmverifikation
   schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
   schema:about <http://dewey.info/class/005.14/e20/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/110397937> ; # Ole-Johan Dahl
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/43513668> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/43513668#Series/prentice_hall_international_series_in_computer_science> ; # Prentice-Hall international series in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/609227029> ;
   schema:name "Verifiable programming"@en ;
   schema:productID "24792411" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/24792411#PublicationEvent/new_york_prentice_hall_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/43513668#Agent/prentice_hall> ; # Prentice Hall
   schema:url <http://www.gbv.de/dms/bowker/toc/9780139510625.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780139510625> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9222306> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/24792411> ;
    .


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/43513668#Series/prentice_hall_international_series_in_computer_science> # Prentice-Hall international series in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/24792411> ; # Verifiable programming
   schema:name "Prentice-Hall international series in computer science." ;
   schema:name "Prentice Hall international series in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/43513668#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/43513668#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/110397937> # Ole-Johan Dahl
    a schema:Person ;
   schema:birthDate "1931" ;
   schema:familyName "Dahl" ;
   schema:givenName "Ole-Johan" ;
   schema:name "Ole-Johan Dahl" ;
    .

<http://worldcat.org/isbn/9780139510625>
    a schema:ProductModel ;
   schema:isbn "0139510621" ;
   schema:isbn "9780139510625" ;
    .

<http://www.worldcat.org/oclc/609227029>
    a schema:CreativeWork ;
   rdfs:label "Verifiable programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/24792411> ; # Verifiable programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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