Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science[Jim Davies (computer scientist)|] is a series of books on computer science published by Prentice Hall.
The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of formal methods in particular.Selected books
The following books were published in the series:
- R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998..
- R. S. Bird and O. de Moor, Algebra of Programming, 1996..
- O.-J. Dahl, Verifiable Programming, 1992..
- D. M. Gabbay, Elementary Logics: A Procedural Perspective, 1998..
- I. J. Hayes, Specification Cases Studies, 2nd edition, 1993..
- M. G. Hinchey and J. P. Bowen, Applications of Formal Methods, 1996..
- C. A. R. Hoare, Communicating Sequential Processes, 1985. hardback or paperback.
- C. A. R. Hoare and M. J. C. Gordon, Mechanized Reasoning and Hardware Design, 1998..
- C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, 1998..
- INMOS Limited, Occam 2 Reference Manual, 1988..
- Cliff Jones, Systematic Software Development Using VDM, 1986. hardback or paperback.
- M. Joseph, Real-Time Systems: Specification, Verification and Analysis, 1996..
- Bertrand Meyer, Object-Oriented Software Construction.
- Robin Milner, Communication and Concurrency, 1989. .
- C. C. Morgan, Programming from Specifications, 2nd edition, 1994..
- P. N. Nissanke, Realtime Systems, 1997..
- B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996..
- A. W. Roscoe, A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994..
- A. W. Roscoe, The Theory and Practice of Concurrency, 1997..
- J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, 1992..
- J. C. P. Woodcock and
J. W. Davies, Using Z: Specification, Refinement and Proof, 1996..
