Prentice Hall Internationale Reihe in Informatik

Die Prentice Hall International Series in Computer Science war eine Buchreihe über Informatik, die vom Verlag Prentice Hall herausgegeben wurde . ^{[ 1 ]}

Der erste Herausgeber der Reihe war Tony Hoare . Später übernahm Richard Bird die Herausgabe. ^{[ 2 ]} Viele der Bücher der Reihe befassten sich insbesondere mit formalen Methoden .

Folgende Bücher wurden in der Reihe veröffentlicht: ^{[ 1 ] [ 3 ]}

• RS Bird , Einführung in die funktionale Programmierung mit Haskell , 2. Auflage, 1998. ISBN 0-13-484346-0Die
• RS Bird und O. de Moor, Algebra der Programmierung , 1996. ISBN 0-13-507245-X(100. Band der Reihe.)
• O.-J. Dahl , Verifiable Programming , 1992. ISBN 0-13-951062-1Die
• DM Gabbay , Elementare Logik: Eine prozedurale Perspektive , 1998. ISBN 0-13-726365-1Die
• IJ Hayes (Hrsg.), Specification Case Studies , 2. Auflage, 1993. ISBN 0-13-832544-8Die
• MG Hinchey und JP Bowen (Hrsg.), Anwendungen formaler Methoden , 1996. ISBN 0-13-366949-1Die
• C. A. Hoare , Communicating Sequential Processes , 1985. ISBN 0-13-153271-5Hardcover oder ISBN 0-13-153289-8Taschenbuch.
• CAR Hoare und MJC Gordon , Mechanisiertes Schließen und Hardware-Design , 1998. ISBN 0-13-572405-8Die
• CAR Hoare und He Jifeng , Unifying Theories of Programming , 1998. ISBN 0-13-458761-8Die
• INMOS Limited , Occam 2 Referenzhandbuch , 1988. ISBN 0-13-629312-3Die
• Cliff Jones , Systematische Softwareentwicklung mit VDM , 1986. ISBN 0-13-880725-6Hardcover oder ISBN 0-13-880717-5Taschenbuch.
• M. Joseph (Hrsg.), Echtzeitsysteme: Spezifikation, Verifikation und Analyse , 1996. ISBN 0-13-455297-0Die
• Bertrand Meyer , Objektorientierte Softwareentwicklung (nur erste Auflage).
• Robin Milner , Kommunikation und Parallelverarbeitung , 1989. ISBN 0-13-115007-3(für die Taschenbuchausgabe).
• C. C. Morgan , Programmierung anhand von Spezifikationen , 2. Auflage, 1994. ISBN 0-13-123274-6Die
• PN Nissanke, Echtzeitsysteme , 1997. ISBN 0-13-651274-7Die
• B. Potter, J. Sinclair und D. Till, Einführung in die formale Spezifikation und Z , 2. Auflage, 1996. ISBN 0-13-242207-7Die
• AW Roscoe (Hrsg.), A Classical Mind: Essays in Honour of CAR Hoare , 1994. ISBN 0-13-294844-3Die
• A. W. Roscoe, Theorie und Praxis der Parallelverarbeitung , 1997. ISBN 0-13-674409-5Die
• J. M. Spivey , Die Z-Notation : Ein Nachschlagewerk , 2. Auflage, 1992. ISBN 0-13-978529-9Die
• JCP Woodcock und JW Davies , Using Z: Specification, Refinement and Proof , 1996. ISBN 0-13-948472-8Die