|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An implementation of an efficient algorithm for bisimulation equivalence |
Fernandez, Jean-Claude |
1990 |
13 | 2-3 |
p. 219-236 18 p. |
artikel |
|
| 2 | Author index |
1990 |
13 | 2-3 |
p. 277- 1 p. |
artikel |
||
| 3 | Communication and concurrency |
Penczek, Wojciech |
1990 |
13 | 2-3 |
p. 270-272 3 p. |
artikel |
|
| 4 | Comparative semantics for prolog with cut |
de Vink, E.P. |
1990 |
13 | 2-3 |
p. 237-264 28 p. |
artikel |
|
| 5 | Concurrent programming in occam 2 |
Capon, Peter C. |
1990 |
13 | 2-3 |
p. 265-266 2 p. |
artikel |
|
| 6 | Introduction to computing with Pascal |
Freeman, T.L. |
1990 |
13 | 2-3 |
p. 272-273 2 p. |
artikel |
|
| 7 | Lawful functions and program verification in Miranda |
Thompson, Simon |
1990 |
13 | 2-3 |
p. 181-218 38 p. |
artikel |
|
| 8 | Logic for computer scientists |
Devlin, Keith |
1990 |
13 | 2-3 |
p. 273-275 3 p. |
artikel |
|
| 9 | Programming logics: An introduction to verification and semantics |
Hesselink, Wim H. |
1990 |
13 | 2-3 |
p. 266-267 2 p. |
artikel |
|
| 10 | Stepwise refinement of parallel algorithms |
Back, R.J.R. |
1990 |
13 | 2-3 |
p. 133-180 48 p. |
artikel |
|
| 11 | The universal turing machine: A half-century survey |
Turski, Wlad |
1990 |
13 | 2-3 |
p. 267-270 4 p. |
artikel |
11 gevonden resultaten