Formal Methods Wiki

Prentice Hall International Series in Computer Science

Redirected from International Series in Computer Science

120pages on
this wiki
Add New Page
Talk0 Share

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 online 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 ISBN 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.

Contact information Edit


Prentice Hall Europe email addresses

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

Maintained by Jonathan Bowen.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.