Find a copy in the library
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
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Unifying theories of programming".
Be the first.
