|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Ada language and methodology |
Pedersen, Jan Storbank |
1988 |
10 | 3 |
p. 327- 1 p. |
artikel |
|
| 2 | A ‘division’ transformation for program and data structures and the structure clash problem |
Michel, Beat |
1988 |
10 | 3 |
p. 247-280 34 p. |
artikel |
|
| 3 | Author index Volume 10 (1988) |
1988 |
10 | 3 |
p. 339- 1 p. |
artikel |
||
| 4 | Efficient handling of data structures in definitional languages |
Szymanski, Boleslaw K. |
1988 |
10 | 3 |
p. 221-245 25 p. |
artikel |
|
| 5 | From logic design to logic programming: Theorem proving techniques and P-functions |
Deville, Yves |
1988 |
10 | 3 |
p. 334-337 4 p. |
artikel |
|
| 6 | Linearisation: An optimisation for nonlinear functional programs |
Harrison, Peter G. |
1988 |
10 | 3 |
p. 281-318 38 p. |
artikel |
|
| 7 | Object-oriented concurrent programming |
Hopkins, Trevor P. |
1988 |
10 | 3 |
p. 330-332 3 p. |
artikel |
|
| 8 | Small programming exercises 21 |
Rem, M. |
1988 |
10 | 3 |
p. 319-325 7 p. |
artikel |
|
| 9 | The specification of computer programs |
Milne, Robert |
1988 |
10 | 3 |
p. 333-334 2 p. |
artikel |
|
| 10 | VDM '87: VDM-a formal method at work |
Hayes, Ian.J. |
1988 |
10 | 3 |
p. 327-330 4 p. |
artikel |
10 gevonden resultaten