|
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 | A proof system for concurrent ADA programs |
Gerth, Rob |
1984 |
4 | 2 |
p. 159-204 46 p. |
artikel |
|
| 2 | A systematic approach to language constructs for concurrent programs |
Broy, Manfred |
1984 |
4 | 2 |
p. 103-139 37 p. |
artikel |
|
| 3 | Books |
Apt, KrzysztofR. |
1984 |
4 | 2 |
p. 211-218 8 p. |
artikel |
|
| 4 | Partial correctness: The term-wise approach |
SokoĊowski, Stefan |
1984 |
4 | 2 |
p. 141-157 17 p. |
artikel |
|
| 5 | Small programming exercises 4 |
Rem, M. |
1984 |
4 | 2 |
p. 205-210 6 p. |
artikel |
|
| 6 | 4th conference on foundations of software technology & theoretical computer science |
1984 |
4 | 2 |
p. 219- 1 p. |
artikel |
6 gevonden resultaten