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 Applied science, practical discipli ...
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 expec ...
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 (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 pro ...
'', 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
He Jifeng (, born August 1943) is a Chinese computer scientist.
He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was ...
, ''
Unifying Theories of Programming Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design ...
'', 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 recei ...
, ''
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 (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 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