|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index—volume 20 (1993) |
1993 |
20 | 3 |
p. 291- 1 p. |
artikel |
||
| 2 | Deriving parallel programs from specifications using cost information |
Skillicorn, D.B. |
1993 |
20 | 3 |
p. 205-221 17 p. |
artikel |
|
| 3 | Master index—volumes 11–20 |
1993 |
20 | 3 |
p. 293-299 7 p. |
artikel |
||
| 4 | Modelling Jackson's programming method |
Vivarès, F. |
1993 |
20 | 3 |
p. 173-204 32 p. |
artikel |
|
| 5 | On the mathematics of sequential decompositions |
Desharnais, Jules |
1993 |
20 | 3 |
p. 253-289 37 p. |
artikel |
|
| 6 | Statement inversion and strongest postcondition |
Back, R.J.R. |
1993 |
20 | 3 |
p. 223-251 29 p. |
artikel |
6 gevonden resultaten