1 |
13
Program verification using Ada / Andrew D. McGettrick
: pbk. - Cambridge ; New York : Cambridge University Press , 1982
|
2 |
14
Simulation techniques for discrete event systems / I. Mitrani
: hard,: pbk.. - Cambridge ; New York : Cambridge University Press , 1982
|
3 |
15
Information representation and manipulation using Pascal / E.S. Page, L.B. Wilson
pbk.. - Cambridge ; New York : Cambridge University Press , 1983
|
4 |
17
An introduction to APL / S. Pommier ; translated by Bronwen A. Rees
hard,pbk.. - Cambridge ; New York : Cambridge University Press , c1983
|
5 |
18
Computer mathematics / D.J. Cooke and H.E. Bez
: hard,: pbk. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1984
|
6 |
20
Text processing / A. Colin Day
pbk.. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1984
|
7 |
21
Introduction to computer systems : a user-view / Brian Molinari
pbk.. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1985
|
8 |
22
Program construction / R.G. Stone and D.J. Cooke
: pbk. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1987
|
9 |
23
A practical introduction to denotational semantics / Lloyd Allison
:pbk. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1986
|
10 |
24
Modelling of computer and communication systems / I. Mitrani
: pbk.. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1987
|