|
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 | A correctness proof of sorting by means of formal procedures |
Fokkinga, Maarten M. |
1987 |
9 | 3 |
p. 263-269 7 p. |
artikel |
|
| 2 | A heuristic explanation of Batcher's Baffler |
Dijkstra, Edsger W. |
1987 |
9 | 3 |
p. 213-220 8 p. |
artikel |
|
| 3 | A new error repair and recovery scheme for lexical and syntactic analysis |
Boullier, Pierre |
1987 |
9 | 3 |
p. 271-286 16 p. |
artikel |
|
| 4 | A practical introduction to denotational semantics |
Tennent, R.D. |
1987 |
9 | 3 |
p. 312-313 2 p. |
artikel |
|
| 5 | A simple calculus for program transformation (inclusive of induction) |
Pepper, Peter |
1987 |
9 | 3 |
p. 221-262 42 p. |
artikel |
|
| 6 | A theoretical basis for stepwise refinement and the programming calculus |
Morris, Joseph M. |
1987 |
9 | 3 |
p. 287-306 20 p. |
artikel |
|
| 7 | Author index∗ volume 9 (1987) |
1987 |
9 | 3 |
p. 315- 1 p. |
artikel |
||
| 8 | Computer science: A mathematical introduction |
Denvir, T. |
1987 |
9 | 3 |
p. 307-308 2 p. |
artikel |
|
| 9 | Concurrent programming in Ada |
Mearns, Ian |
1987 |
9 | 3 |
p. 309-310 2 p. |
artikel |
|
| 10 | The logical basis for computer programming. Volume 1: Deductive reasoning |
Morgan, C. |
1987 |
9 | 3 |
p. 310-312 3 p. |
artikel |
10 gevonden resultaten