Serie internacional de Prentice Hall en ciencias de la computación - Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science fue una serie de libros sobre informática publicada por Prentice Hall .
El editor fundador de la serie fue Tony Hoare . Posteriormente, Richard Bird se hizo cargo de la edición de la serie. Muchos de los libros de la serie han estado en el área de métodos formales en particular.
Libros seleccionados
Los siguientes libros fueron publicados en la serie:
- 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 programación , 1996. ISBN 0-13-507245-X . (Volumen 100 de la serie).
- O.-J. Dahl , Verifiable Programming , 1992. ISBN 0-13-951062-1 .
- DM Gabbay , Lógicas elementales: una perspectiva de procedimiento , 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 , Communicating Sequential Processes , 1985. ISBN 0-13-153271-5 tapa dura o ISBN 0-13-153289-8 tapa blanda .
- CAR Hoare y MJC Gordon , Razonamiento mecanizado y diseño de hardware , 1998. ISBN 0-13-572405-8 .
- CAR Hoare y 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 tapa dura o ISBN 0-13-880717-5 tapa blanda .
- M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis , 1996. ISBN 0-13-455297-0 .
- Bertrand Meyer , Construcción de software orientado a objetos (solo primera edición).
- Robin Milner , Communication and Concurrency , 1989. ISBN 0-13-115007-3 (para el libro de bolsillo).
- CC Morgan , Programación a partir de especificaciones , 2ª edición, 1994. ISBN 0-13-123274-6 .
- PN Nissanke, Realtime Systems , 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.), A Classical Mind: Ensayos en honor a CAR 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 , The Z Notation : A Reference Manual , 2ª edición, 1992. ISBN 0-13-978529-9 .
- JCP Woodcock y JW Davies , Using Z: Specification, Refinement and Proof , 1996. ISBN 0-13-948472-8 .