On the construction of programs /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [Cambridgeshire] ; New York :
Cambridge University Press,
1980.
|
| Subjects: |
Table of Contents:
- An introduction to Pascal-plus / by D.W. Bustard
- A structured compiler / by J. Welsh
- A structured operating system / by R.M. McKeag
- Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.]
- Parallel processing in Ada / by O. Roubine & J.-C. Heliard
- Concurrent Pascal / by D. Coleman
- A model for communicating sequential processes / by C.A.R. Hoare
- Languages for parallel computers / by R.H. Perrott
- Algorithms for parallel computers / by M. Clint & R.H. Perrott
- Information systems : modelling, sequencing, and transformations / by M.A. Jackson
- Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer.