Międzynarodowa seria Prentice Hall z zakresu informatyki

Prentice Hall International Series in Computer Science to seria książek o informatyce wydawana przez Prentice Hall .

Założycielem serii był Tony Hoare . Następnie Richard Bird przejął redagowanie serii. Wiele książek z tej serii dotyczy metod formalnych .

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 programowania , 1996. ISBN 0-13-507245-X . (100. tom z serii.)
•   O.-J. Dahl , Programowanie sprawdzalne , 1992. ISBN 0-13-951062-1 .
•   DM Gabbay , Logika elementarna: perspektywa proceduralna , 1998. ISBN 0-13-726365-1 .
•   IJ Hayes (red.), Studia przypadków specyfikacji , wydanie 2, 1993. ISBN 0-13-832544-8 .
•   MG Hinchey i JP Bowen (red.), Zastosowania metod formalnych , 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 i He Jifeng , Unifying Theories of Programming , 1998. ISBN 0-13-458761-8 .
•   INMOS Limited , Podręcznik referencyjny Occam 2 , 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 , Budowa oprogramowania obiektowego (tylko pierwsze wydanie).
•   Robin Milner , Komunikacja i współbieżność , 1989. ISBN 0-13-115007-3 (w miękkiej oprawie).
•   CC Morgan , Programowanie na podstawie specyfikacji , wydanie 2, 1994. ISBN 0-13-123274-6 .
•   PN Nissanke, Systemy czasu rzeczywistego , 1997. ISBN 0-13-651274-7 .
•   B. Potter, J. Sinclair i D. Till, Wprowadzenie do specyfikacji formalnej i 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 , Notacja Z : podręcznik referencyjny , wydanie 2, 1992. ISBN 0-13-978529-9 .
•   JCP Woodcock i JW Davies , Using Z: Specyfikacja, udoskonalenie i dowód , 1996. ISBN 0-13-948472-8 .