|
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 | A calculus of total correctness for communicating processes |
Hoare, C.A.R. |
1981 |
1 | 1-2 |
p. 49-72 24 p. |
artikel |
|
| 2 | A word of welcome |
Dukstra, EdsgerW. |
1981 |
1 | 1-2 |
p. 3-4 2 p. |
artikel |
|
| 3 | Bulterman's reshuffling problem |
Feijen, W.H.J. |
1981 |
1 | 1-2 |
p. 145-147 3 p. |
artikel |
|
| 4 | Deductive synthesis of the unification algorithm |
Manna, Zohar |
1981 |
1 | 1-2 |
p. 5-48 44 p. |
artikel |
|
| 5 | Editorial |
Sintzoff, Michel |
1981 |
1 | 1-2 |
p. 1-2 2 p. |
artikel |
|
| 6 | Editorial Board |
1981 |
1 | 1-2 |
p. ii- 1 p. |
artikel |
||
| 7 | Programming in a wide spectrum language: a collection of examples |
Bauer, F.L. |
1981 |
1 | 1-2 |
p. 73-114 42 p. |
artikel |
|
| 8 | Systematic detection of exception occurrences |
Best, E. |
1981 |
1 | 1-2 |
p. 115-144 30 p. |
artikel |
|
| 9 | 7th Conference on programming languages and program development |
1981 |
1 | 1-2 |
p. 149-155 7 p. |
artikel |
9 gevonden resultaten