Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement
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 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[]

Prentice Hall

Prentice Hall Europe email addresses

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


Maintained by Jonathan Bowen.

Advertisement