Prentice Hall International Series in Computer Science

Prentice Hall International Series in Computer Science var en serie böcker om datavetenskap utgiven av Prentice Hall .

Seriens grundare var Tony Hoare . Richard Bird tog därefter över redigeringen av serien. Många av böckerna i serien har varit särskilt inom området formella metoder .

Utvalda böcker

Följande böcker publicerades i serien:

•   RS Bird , Introduction to Functional Programming using Haskell , 2nd edition, 1998. ISBN 0-13-484346-0 .
•   RS Bird och O. de Moor, Algebra of Programming , 1996. ISBN 0-13-507245-X . (100:e volymen i serien.)
•   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 , 2:a upplagan, 1993. ISBN 0-13-832544-8 .
•   MG Hinchey och JP Bowen (red.), Applications of Formal Methods , 1996. ISBN 0-13-366949-1 .
•     CAR Hoare , Communicating Sequential Processes , 1985. ISBN 0-13-153271-5 inbunden eller ISBN 0-13-153289-8 pocketbok.
•   CAR Hoare och MJC Gordon , Mechanized Reasoning and Hardware Design , 1998. ISBN 0-13-572405-8 .
•   CAR Hoare och 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 inbunden eller ISBN 0-13-880717-5 pocketbok.
•   M. Joseph (red.), Real-Time Systems: Specification, Verification and Analysis , 1996. ISBN 0-13-455297-0 .
• Bertrand Meyer , Objektorienterad mjukvarukonstruktion (endast första upplagan).
•   Robin Milner , Communication and Concurrency , 1989. ISBN 0-13-115007-3 (för pocketboken).
•   CC Morgan , Programmering från specifikationer , 2:a upplagan, 1994. ISBN 0-13-123274-6 .
•   PN Nissanke, Realtime Systems , 1997. ISBN 0-13-651274-7 .
•   B. Potter, J. Sinclair och D. Till, An Introduction to Formal Specification och Z , 2:a upplagan, 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, The Theory and Practice of Concurrency , 1997. ISBN 0-13-674409-5 .
•   JM Spivey , The Z Notation : A Reference Manual , 2nd edition, 1992. ISBN 0-13-978529-9 .
•   JCP Woodcock och JW Davies , Using Z: Specification, Refinement and Proof , 1996. ISBN 0-13-948472-8 .