Prentice Hall International Series in Computer Science - Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science to seria książek o informatyce wydana przez Prentice Hall .
Założycielem serii był Tony Hoare . Edycję serii przejął następnie Richard Bird . Wiele książek z tej serii poświęconych jest w szczególności metodom formalnym .
Wybrane książki
W serii ukazały się następujące książki:
- RS Bird , Wprowadzenie do programowania funkcjonalnego przy użyciu Haskella , wydanie 2, 1998. ISBN 0-13-484346-0 .
- RS Bird i O. de Moor, Algebra of Programming , 1996. ISBN 0-13-507245-X . (Setny tom z serii.)
- O.-J. Dahl , Verifiable Programming , 1992. ISBN 0-13-951062-1 .
- DM Gabbay , Elementary Logics: A Procedural Perspective , 1998. ISBN 0-13-726365-1 .
- IJ Hayes (red.), Specification Cases Studies , wydanie 2, 1993. ISBN 0-13-832544-8 .
- MG Hinchey i JP Bowen (red.), Applications of Formal Methods , 1996. ISBN 0-13-366949-1 .
- CAR Hoare , Communicating Sequential Processes , 1985. ISBN 0-13-153271-5 w twardej oprawie lub ISBN 0-13-153289-8 w miękkiej oprawie.
- CAR Hoare i MJC Gordon , Mechanized Reasoning and Hardware Design , 1998. ISBN 0-13-572405-8 .
- CAR 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 .
- Cliff Jones , Systematic Software Development Using VDM , 1986. ISBN 0-13-880725-6 w twardej oprawie lub ISBN 0-13-880717-5 w miękkiej oprawie.
- M. Joseph (red.), Systemy czasu rzeczywistego: specyfikacja, weryfikacja i analiza , 1996. ISBN 0-13-455297-0 .
- Bertrand Meyer , Object-Oriented Software Construction (tylko pierwsze wydanie).
- Robin Milner , Communication and Concurrency , 1989. ISBN 0-13-115007-3 (w miękkiej oprawie).
- CC Morgan , Programming from Specifications , 2nd edition, 1994. ISBN 0-13-123274-6 .
- PN Nissanke, Realtime Systems , 1997. ISBN 0-13-651274-7 .
- B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z , wydanie 2, 1996. ISBN 0-13-242207-7 .
- AW Roscoe (red.), A Classical Mind: Essays in Honor of CAR Hoare , 1994. ISBN 0-13-294844-3 .
- AW Roscoe, Teoria i praktyka współbieżności , 1997. ISBN 0-13-674409-5 .
- JM Spivey , The Z Notation : A Reference Manual , wydanie 2, 1992. ISBN 0-13-978529-9 .
- JCP Woodcock i JW Davies , Using Z: Specification, Refinement and Proof , 1996. ISBN 0-13-948472-8 .