Serie internacional de Prentice Hall en informática

Prentice Hall International Series in Computer Science fue una serie de libros sobre ciencias de la computación publicada por Prentice Hall . ^{[ 1 ]}

El editor fundador de la serie fue Tony Hoare . Posteriormente, Richard Bird se hizo cargo de la edición de la serie. ^{[ 2 ]} Muchos de los libros de la serie se han centrado en el área de los métodos formales en particular.

Los siguientes libros fueron publicados en la serie: ^{[ 1 ] [ 3 ]}

• RS Bird , Introducción a la programación funcional con Haskell , 2.ª edición, 1998. ISBN 0-13-484346-0.
• RS Bird y O. de Moor, Álgebra de la programación , 1996. ISBN 0-13-507245-X(Volumen número 100 de la serie).
• O.-J. Dahl , Programación verificable , 1992. ISBN 0-13-951062-1.
• DM Gabbay , Lógica elemental: una perspectiva procedimental , 1998. ISBN 0-13-726365-1.
• IJ Hayes (ed.), Estudios de casos de especificación , 2.ª edición, 1993. ISBN 0-13-832544-8.
• MG Hinchey y JP Bowen (eds.), Aplicaciones de métodos formales , 1996. ISBN 0-13-366949-1.
• CAR Hoare , Procesos secuenciales comunicantes , 1985. ISBN 0-13-153271-5tapa dura o ISBN 0-13-153289-8libro de bolsillo.
• CAR Hoare y MJC Gordon , Razonamiento mecanizado y diseño de hardware , 1998. ISBN 0-13-572405-8.
• CAR Hoare y He Jifeng , Teorías unificadoras de la programación , 1998. ISBN 0-13-458761-8.
• INMOS Limited , Manual de referencia Occam 2 , 1988. ISBN 0-13-629312-3.
• Cliff Jones , Desarrollo sistemático de software mediante VDM , 1986. ISBN 0-13-880725-6tapa dura o ISBN 0-13-880717-5libro de bolsillo.
• M. Joseph (ed.), Sistemas en tiempo real: especificación, verificación y análisis , 1996. ISBN 0-13-455297-0.
• Bertrand Meyer , Construcción de software orientado a objetos (solo primera edición).
• Robin Milner , Comunicación y concurrencia , 1989. ISBN 0-13-115007-3(para la edición de bolsillo).
• CC Morgan , Programación a partir de especificaciones , 2.ª edición, 1994. ISBN 0-13-123274-6.
• PN Nissanke, Sistemas en tiempo real , 1997. ISBN 0-13-651274-7.
• B. Potter, J. Sinclair y D. Till, Introducción a la especificación formal y Z , 2.ª edición, 1996. ISBN 0-13-242207-7.
• AW Roscoe (ed.), Una mente clásica: Ensayos en honor de C.A. Hoare , 1994. ISBN 0-13-294844-3.
• AW Roscoe, Teoría y práctica de la concurrencia , 1997. ISBN 0-13-674409-5.
• JM Spivey , La notación Z : Manual de referencia , 2.ª edición, 1992. ISBN 0-13-978529-9.
• JCP Woodcock y JW Davies , Uso de Z: Especificación, refinamiento y prueba , 1996. ISBN 0-13-948472-8.