Prentice Hall International Series in Computer Science

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall.[1]

The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.[2] Many of the books in the series have been in the area of formal methods in particular.

Selected books

[edit | edit source]

The following books were published in the series:[1][3]

  • R. S. Bird, Introduction to Functional Programming using Haskell, 2nd edition, 1998. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • R. S. Bird and O. de Moor, Algebra of Programming, 1996. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).. (100th volume in the series.)
  • O.-J. Dahl, Verifiable Programming, 1992. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • D. M. Gabbay, Elementary Logics: A Procedural Perspective, 1998. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • I. J. Hayes (ed.), Specification Cases Studies, 2nd edition, 1993. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • M. G. Hinchey and J. P. Bowen (eds.), Applications of Formal Methods, 1996. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • C. A. R. Hoare, Communicating Sequential Processes, 1985. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). hardback or Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). paperback.
  • C. A. R. Hoare and M. J. C. Gordon, Mechanized Reasoning and Hardware Design, 1998. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, 1998. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • INMOS Limited, Occam 2 Reference Manual, 1988. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • Cliff Jones, Systematic Software Development Using VDM, 1986. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). hardback or Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). paperback.
  • M. Joseph (ed.), Real-Time Systems: Specification, Verification and Analysis, 1996. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • Bertrand Meyer, Object-Oriented Software Construction (first edition only).
  • Robin Milner, Communication and Concurrency, 1989. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (for the paperback).
  • C. C. Morgan, Programming from Specifications, 2nd edition, 1994. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • P. N. Nissanke, Realtime Systems, 1997. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • A. W. Roscoe (ed.), A Classical Mind: Essays in Honour of C. A. R. Hoare, 1994. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • A. W. Roscoe, The Theory and Practice of Concurrency, 1997. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, 1992. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
  • J. C. P. Woodcock and J. W. Davies, Using Z: Specification, Refinement and Proof, 1996. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..

References

[edit | edit source]
  1. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).

Stub icon 1 Error creating thumbnail:

This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://70.231.62.181/index.php?title=Prentice_Hall_International_Series_in_Computer_Science&oldid=3694662"