skip to content
Unifying theories of programming
ClosePreview this item

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:   Book : EnglishView all editions and formats
Summary:

Explores the principles that underlie the practice of software engineering. Assuming a knowledge of one or more programming languages, the authors aim to assist students in the mastery of new methods  Read more...

Rating:

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

 

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, c1998
(OCoLC)605467365
Online version:
Hoare, C. A. R. (Charles Anthony Richard), 1934-
Unifying theories of programming.
London ; New York : Prentice Hall, c1998
(OCoLC)608700386
Document Type: Book
All Authors / Contributors: C A R Hoare; Jifeng He
ISBN: 0134587618 9780134587615
OCLC Number: 38199961
Description: xix, 298 p. : ill. ; 24 cm.
Contents: 1. Preface. 2. Glossary of Notations. 3. The Challenge of Unification. 4. The Logic of Engineering Design. 5. Relations. 6. Designs. 7. Linking Theories. 8. The Algebra of Programs. 9. Implementation. 10. Concurrency. 11. Communication. 12. High Order Programming. 13. Operational Semantics. Appendix. References. Index.
Series Title: Prentice Hall series in computer science.
Responsibility: C.A.R. Hoare and He Jifeng.

Reviews

User-contributed reviews
Retrieving GoodReads 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


<http://www.worldcat.org/oclc/38199961>
library:oclcnum"38199961"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/38199961>
rdf:typeschema:Book
rdfs:seeAlso
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:author
rdf:typeschema:Person
rdfs:label"Hoare, C. A. R. (Charles Anthony Richard), 1934-"
schema:contributor
schema:copyrightYear"1998"
schema:datePublished"1998"
schema:inLanguage"en"
schema:name"Unifying theories of programming"
schema:numberOfPages"298"
schema:publisher
Close Window

Please sign in to WorldCat 

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