Prentice Hall International Series in Computer Science
Encyclopedia
Prentice Hall International Series in Computer Science is a series of books on computer science
published by Prentice Hall
. Its founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
published by Prentice Hall
Prentice Hall
Prentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
. Its founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.
Selected books
- R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. ISBN 0-13-484346-0.
- R. S. Bird and O. de Moor, Algebra of Programming, 1996. ISBN 0-13-507245-X. (100th volume in the series.)
- D. GabbyDov GabbayDov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London . He has authored over four hundred and fifty research papers and over thirty research monographs...
, Elementary Logics: A Procedural Perspective, 1998. ISBN 0-13-726365-1. - I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. ISBN 0-13-832544-8.
- M. G. Hinchey and J. P. Bowen (eds.), Applications of Formal Methods, 1996. ISBN 0-13-366949-1.
- C. A. R. HoareC. A. R. HoareSir Charles Antony Richard Hoare , commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development of Quicksort, one of the world's most widely used sorting algorithms...
, Communicating Sequential ProcessesCommunicating sequential processesIn computer science, Communicating Sequential Processes 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 process calculi...
, 1985. ISBN 0-13-153271-5 hardback or 0-13-153289-8 paperback. - C. A. R. Hoare and He JifengHe JifengHe Jifeng is a Chinese computer scientist.He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science...
, Unifying Theories of ProgrammingUnifying Theories of ProgrammingUnifying Theories of Programming 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 and implementation of programs and computer systems.The book of this title by...
, 1998. ISBN 0-13-458761-8. - INMOS LimitedINMOSInmos Limited was a British semiconductor company, founded by Iann Barron, with both the head office and the design office at Aztec West in Bristol, it was incorporated in November 1978.- Products :...
, Occam 2 Reference Manual, 1988. ISBN 0-13-629312-3. - M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. ISBN 0-13-455297-0.
- C. C. Morgan, Programming from Specifications, 2nd edition, 1994. ISBN 0-13-123274-6.
- P. N. Nissanke, Realtime Systems, 1997. ISBN 0-13-651274-7.
- B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. ISBN 0-13-242207-7.
- A. W. RoscoeBill RoscoeA. William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science...
(ed.), A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. ISBN 0-13-294844-3. - A. W. Roscoe, The Theory and Practice of Concurrency, 1997. ISBN 0-13-674409-5.
- J. M. Spivey, The Z NotationZ notationThe Z notation , named after Zermelo–Fraenkel set theory, 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:...
: A Reference Manual, 2nd edition, 1992. ISBN 0-13-978529-9. - J. C. P. Woodcock and J. W. Davies, Using Z: Specification, Refinment and Proof, 1996. ISBN 0-13-948472-8.