On the construction of programs

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

edited by R.M. McKeag and A.M. Macnaghten

言語:

英語

出版情報:

Cambridge ; New York : Cambridge University Press, 1980

形態:

422 p. ; 24 cm

著者名:

目次情報:

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

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

書誌ID:

BA12867111

ISBN:

9780521230902 [052123090X]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Electronic digital computers--Programming; Parallel processing (Electronic computers); Structured programming
分類・件名:	LCC : QA76.6 DDC : 001.64/24 LCSH : Electronic digital computers -- Programming LCSH : Structured programming LCSH : Parallel processing (Electronic computers)
LCCN:	80040537
注記:	"Based on a summer school held at the Queen's University of Belfast from 3rd to 14th September 1979"--Pref Includes bibliographies and index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Structured concurrent programming with operating systems applications Holt, R. C. (Richard C.), 1941- Addison-Wesley Pub. Co.	7 図書 Fundamentals of structured programming using FORTRAN with SF/k and WATFIV-S Holt, R. C. (Richard C.), 1941-, Hume, J. N. P., 1923- Reston Pub. Co.
2 図書 An introduction to algorithm design and structured programming Reed, Thomas A., 1928- Prentice Hall	8 図書 Algorithms : the construction, proof, and analysis of programs Berlioux, Pierre, Bizard, Philippe J. Wiley
3 図書 Structured system programming Welsh, Jim, 1943-, McKeag, Michael Prentice/Hall International	9 図書 Structured systems analysis and design methodology Cutts, Geoff Blackwell Scientific
4 図書 Knowledge-based program construction Barstow, David R. North Holland	10 図書 Parallel computers : architecture, programming, and algorithms Hockney, Roger W., Jesshope, Chris R Adam Hilger
5 図書 Communicating sequential processes Hoare, C. A. R. (Charles Antony Richard), 1934- Prentice-Hall International	11 図書 Parallel computers 2 : architecture, programming and algorithms Hockney, Roger W., Jesshope, Chris R. A. Hilger
6 図書 Structured programming Dahl, Ole-Johan, 1931-, Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934ー Academic Press	12 図書 Genetic programming : on the programming of computers by means of natural selection Koza, John R. MIT Press