close
1.

図書

図書
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
2.

図書

図書
R. M. McKeag and R. Wilson ; edited by D. H. R. Huxtable
出版情報: London ; New York : Academic Press, 1976
シリーズ名: A.P.I.C. studies in data processing ; no. 13
所蔵情報: loading…