Prentice Hall International Series in Computer Science
- Prentice Hall International Series in Computer Science
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.
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. Gabby, "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. Hoare, "Communicating Sequential Processes", 1985. ISBN 0-13-153271-5 hardback or 0-13-153289-8 paperback.
* C. A. R. Hoare and He Jifeng, "Unifying Theories of Programming", 1998. ISBN 0-13-458761-8.
* INMOS Limited, "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. Roscoe (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 Notation: 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.
External links
* [http://vl.fmnet.info/phiscs/ Prentice Hall International Series in Computer Science]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Cliff Jones (computer scientist) — This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation). Cliff Jones Born 1 June 1944 (1944 06 01) (age 67) Nationality … Wikipedia
List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… … Wikipedia
Kernel (computer science) — In computer science, the kernel is the central component of most computer operating systems (OS). Its responsibilities include managing the system s resources (the communication between hardware and software components). As a basic component of… … Wikipedia
Computer music — is a term that was originally used within academia to describe a field of study relating to the applications of computing technology in music composition; particularly that stemming from the Western art music tradition. It includes the theory and … Wikipedia
Computer — For other uses, see Computer (disambiguation). Computer technology redirects here. For the company, see Computer Technology Limited. Computer … Wikipedia
Computer architecture — In computer science and engineering, computer architecture is the practical art of selecting and interconnecting hardware components to create computers that meet functional, performance and cost goals and the formal modelling of those systems.… … Wikipedia
C. A. R. Hoare — Infobox Scientist name = Charles Antony Richard Hoare image width = 150px birth date = birth date and age|1934|1|11 birth place = Colombo, Sri Lanka field = Computer Scientist work institution = Elliott Brothers Queen s University of Belfast… … Wikipedia
Tony Hoare — Sir Charles Antony Richard Hoare Sir Charles Antony Richard Hoare giving a conference at the EPFL on 20 June 2011 Born … Wikipedia
Dines Bjørner — Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods.[1] He worked with Cliff Jones and others on the Vienna… … Wikipedia
Хоар, Чарльз Энтони Ричард — Чарльз Энтони Ричард Хоар Charles Antony Richard Hoare … Википедия
