close
1.

図書
図書
1. On the construction of programs
edited by R.M. McKeag and A.M. Macnaghten
出版情報: Cambridge ; New York : Cambridge University Press, 1980  422 p. ; 24 cm
所蔵情報: 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.

図書
図書
2. Fairness (: U.S. ; : Ger.)
Nissim Francez
出版情報: New York ; Tokyo : Springer, 1986  xiii, 295 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
3.

図書
図書
3. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985  x, 224 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
4.

図書
図書
4. Communicating sequential processes (: pbk)
C.A.R. Hoare
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1985  viii, 256 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
Communication / 4：
Sequential Processes / 5：
Shared Resources / 6：
Discussion / 7：
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼