nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algorithm animation
|
Wills, Alan |
|
1989 |
12 |
1 |
p. 90-92 3 p. |
artikel |
2 |
Data abstraction and program development using Pascal
|
Mitchell, R.J. |
|
1989 |
12 |
1 |
p. 87-88 2 p. |
artikel |
3 |
Editorial Board
|
|
|
1989 |
12 |
1 |
p. vi- 1 p. |
artikel |
4 |
Generating function versions with rational strictness patterns
|
Hall, Cordelia V |
|
1989 |
12 |
1 |
p. 39-74 36 p. |
artikel |
5 |
How to make algebraic specifications more understandable: An experiment with the pluss specification language
|
Bidoit, M |
|
1989 |
12 |
1 |
p. 1-38 38 p. |
artikel |
6 |
Object-oriented software construction
|
America, Pierre |
|
1989 |
12 |
1 |
p. 88-90 3 p. |
artikel |
7 |
Occam 2 reference manual
|
|
|
1989 |
12 |
1 |
p. 84- 1 p. |
artikel |
8 |
Programming in Occam 2
|
Capon, Peter C. |
|
1989 |
12 |
1 |
p. 84- 1 p. |
artikel |
9 |
Small programming exercises 23
|
Rem, M. |
|
1989 |
12 |
1 |
p. 75-81 7 p. |
artikel |
10 |
Temporal logics and their applications
|
Henrik LĂvengreen, Hans |
|
1989 |
12 |
1 |
p. 85-87 3 p. |
artikel |
11 |
The semantics of destructive Lisp.
|
Wolczko, Mario |
|
1989 |
12 |
1 |
p. 83-84 2 p. |
artikel |