skip to content
Unifying theories of programming Preview this item
ClosePreview this item
Checking...

Unifying theories of programming

Author: C A R Hoare; Jifeng He
Publisher: London ; New York : Prentice Hall, ©1998.
Series: Prentice Hall series in computer science.
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

Additional Physical Format: Online version:
Hoare, C.A.R. (Charles Anthony Richard), 1934-
Unifying theories of programming.
London ; New York : Prentice Hall, ©1998
(OCoLC)605467365
Online version:
Hoare, C.A.R. (Charles Anthony Richard), 1934-
Unifying theories of programming.
London ; New York : Prentice Hall, ©1998
(OCoLC)608700386
Document Type: Book
All Authors / Contributors: C A R Hoare; Jifeng He
ISBN: 0134587618 9780134587615
OCLC Number: 38199961
Description: xix, 298 pages : illustrations ; 24 cm.
Series Title: Prentice Hall series in computer science.
Responsibility: C.A.R. Hoare and He Jifeng.

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/38199961> # Unifying theories of programming
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "38199961" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/42705707#Topic/software_engineering> ; # Software Engineering
    schema:about <http://dewey.info/class/005.101/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/42705707#Topic/programmierung> ; # Programmierung
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/42705707#Person/he_jifeng_1943> ; # Jifeng He
    schema:copyrightYear "1998" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/42705707#Person/hoare_c_a_r_charles_anthony_richard_1934> ; # Charles Anthony Richard Hoare
    schema:datePublished "1998" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/42705707> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/42705707#Series/prentice_hall_series_in_computer_science> ; # Prentice Hall series in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/608700386> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/605467365> ;
    schema:name "Unifying theories of programming"@en ;
    schema:productID "38199961" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/38199961#PublicationEvent/london_new_york_prentice_hall_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/42705707#Agent/prentice_hall> ; # Prentice Hall
    schema:workExample <http://worldcat.org/isbn/9780134587615> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9867560> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/38199961> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/42705707#Agent/prentice_hall> # Prentice Hall
    a bgn:Agent ;
    schema:name "Prentice Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/42705707#Person/he_jifeng_1943> # Jifeng He
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "He" ;
    schema:givenName "Jifeng" ;
    schema:name "Jifeng He" ;
    .

<http://experiment.worldcat.org/entity/work/data/42705707#Person/hoare_c_a_r_charles_anthony_richard_1934> # Charles Anthony Richard Hoare
    a schema:Person ;
    schema:birthDate "1934" ;
    schema:familyName "Hoare" ;
    schema:givenName "Charles Anthony Richard" ;
    schema:givenName "C. A. R." ;
    schema:name "Charles Anthony Richard Hoare" ;
    .

<http://experiment.worldcat.org/entity/work/data/42705707#Series/prentice_hall_series_in_computer_science> # Prentice Hall series in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/38199961> ; # Unifying theories of programming
    schema:name "Prentice Hall series in computer science." ;
    schema:name "Prentice Hall series in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/42705707#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

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

<http://worldcat.org/isbn/9780134587615>
    a schema:ProductModel ;
    schema:isbn "0134587618" ;
    schema:isbn "9780134587615" ;
    .

<http://www.worldcat.org/oclc/605467365>
    a schema:CreativeWork ;
    rdfs:label "Unifying theories of programming." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/38199961> ; # Unifying theories of programming
    .

<http://www.worldcat.org/oclc/608700386>
    a schema:CreativeWork ;
    rdfs:label "Unifying theories of programming." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/38199961> ; # Unifying theories of programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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