[Logo]

Prentice Hall International Series in Computer Science

Former series editor: C. A. R. Hoare
Current series editor: Richard Bird

A full list of titles (1997) is available.
See also contact information below.


The following are a selection of books from the series, especially recent additions and those that have associated on-line information:

  1. R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. ISBN 0-13-484346-0.

  2. R. S. Bird and O. de Moor, Algebra of Programming, 1996. ISBN 0-13-507245-X. (100th volume in the series.)

  3. D. Gabby, Elementary Logics: A Procedural Perspective, 1998. ISBN 0-13-726365-1.

  4. I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. ISBN 0-13-832544-8.

  5. M. G. Hinchey and J. P. Bowen (eds.), Applications of Formal Methods, 1996. ISBN 0-13-366949-1.

  6. C. A. R. Hoare, Communicating Sequential Processes, 1985. ISBN 0-13-13-153271-5 hardback or 0-13-153289-8 paperback.

  7. C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, 1998. ISBN 0-13-458761-8.

  8. INMOS Limited, Occam 2 Reference Manual, 1988. ISBN 0-13-629312-3.

  9. M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. ISBN 0-13-455297-0.

  10. C.C. Morgan, Programming from Specifications, 2nd edition, 1994. ISBN 0-13-123274-6.

  11. P. N. Nissanke, Realtime Systems, 1997. ISBN 0-13-651274-7.

  12. B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. ISBN 0-13-242207-7.

  13. A. W. Roscoe (ed.), A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. ISBN 0-13-294844-3.

  14. A. W. Roscoe, The Theory and Practice of Concurrency, 1997. ISBN 0-13-674409-5.

  15. J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, 1992. ISBN 0-13-978529-9.

  16. J. C. P. Woodcock and J. W. Davies, Using Z: Specification, Refinment and Proof, 1996. ISBN 0-13-948472-8.

Prentice Hall

Prentice Hall Europe email addresses:

 See Prentice Hall: Professional Technical Reference books and alt.bookstore list of series titles.


See also information on other (New) publishers and bookstores.
Maintained by Jonathan Bowen.