Prentice Hall International Series in Computer Science explained

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall.^[1]

The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.^[2] 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:^[3]

• R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. .
• R. S. Bird and O. de Moor, Algebra of Programming, 1996. . (100th volume in the series.)
• O.-J. Dahl, Verifiable Programming, 1992. .
• D. M. Gabbay, Elementary Logics: A Procedural Perspective, 1998. .
• I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. .
• M. G. Hinchey and J. P. Bowen (eds.), 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 (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. .
• Bertrand Meyer, Object-Oriented Software Construction (first edition only).
• Robin Milner, Communication and Concurrency, 1989. (for the paperback).
• 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 (ed.), 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. .

Notes and References

1. Web site: Series: Prentice-Hall International Series in Computer Science . LibraryThing . 24 September 2019 .
2. Web site: Prentice Hall International Series in Computer Science . Formal Methods Wiki . . 30 March 2021 .
3. Web site: PHISCS books . Formal Methods Wiki . . 30 March 2021 .