|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Actors: A model of concurrent computation in distributed systems |
Wolczko, Mario |
1988 |
10 | 2 |
p. 212-213 2 p. |
artikel |
|
| 2 | Automatic binding time analysis for a typed λ-calculus |
Nielson, Hanne R. |
1988 |
10 | 2 |
p. 139-176 38 p. |
artikel |
|
| 3 | Essential mathematics for software engineers |
Gibbins, Peter |
1988 |
10 | 2 |
p. 218-219 2 p. |
artikel |
|
| 4 | Programming in Occam |
Capon, Peter C. |
1988 |
10 | 2 |
p. 217- 1 p. |
artikel |
|
| 5 | Quality programming: Developing and testing software with statistical quality control |
Kitchenham, Barbara |
1988 |
10 | 2 |
p. 213-215 3 p. |
artikel |
|
| 6 | Temporal logic of programs |
Fisher, Michael |
1988 |
10 | 2 |
p. 215-216 2 p. |
artikel |
|
| 7 | The derivation of graph marking algorithms from distributed termination detection protocols |
Tel, Gerard |
1988 |
10 | 2 |
p. 107-137 31 p. |
artikel |
|
| 8 | The foundations of program verification |
Grabowski, Michal |
1988 |
10 | 2 |
p. 211-212 2 p. |
artikel |
|
| 9 | Verification of programs that destructively manipulate data |
Mason, Ian A. |
1988 |
10 | 2 |
p. 177-210 34 p. |
artikel |
9 gevonden resultaten