1.

図書
図書
1. CP/M techniques (pbk.)
Ken Barbier
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984
所蔵情報: loading…
2.

図書
図書
2. On the construction of programs
edited by R.M. McKeag and A.M. Macnaghten
出版情報: Cambridge ; New York : Cambridge University Press, 1980
所蔵情報: loading…
目次情報: 続きを見る
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
3.

図書
図書
3. Structured design : fundamentals of a discipline of computer program and systems design
Edward Yourdon, Larry L. Constantine
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1979
所蔵情報: loading…