Prentice Hall International Series in Computer Science was a series of books on

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

published by

Prentice Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

. The series' founding editor was

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

. Richard Bird subsequently took over editing the series. Many of the books in the series have been in the area of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

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. . (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 Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limite ...

(eds.), ''Applications of Formal Methods'', 1996. . *

C. A. R. Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

, ''

Communicating Sequential Processes In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or ...

'', 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 Bertrand Meyer (; ; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract. Education and academic career Meyer rece ...

, ''

Object-Oriented Software Construction ''Object-Oriented Software Construction'' is a book by Bertrand Meyer, widely considered a foundational text of object-oriented programming. The first edition was published in 1988; the second, extensively revised and expanded edition (more than 1 ...

'' (first edition only). *

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

, ''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 Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. Educa ...

(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 The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial ...

: A Reference Manual'', 2nd edition, 1992. . *

J. C. P. Woodcock James Charles Paul Woodcock is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fello ...

and J. W. Davies, ''Using Z: Specification, Refinement and Proof'', 1996. .

References

Year of establishment missing Year of disestablishment missing Series of books Computer science books Formal methods publications {{compu-book-stub