|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adequate proof principles for invariance and liveness properties of concurrent programs |
Manna, Zohar |
1984 |
4 | 3 |
p. 257-289 33 p. |
artikel |
|
| 2 | A simple livelock-free algorithm for packet switching |
Shyamasundar, R.K. |
1984 |
4 | 3 |
p. 249-256 8 p. |
artikel |
|
| 3 | Author index |
1984 |
4 | 3 |
p. 337- 1 p. |
artikel |
||
| 4 | North american summer school on program construction |
1984 |
4 | 3 |
p. 335- 1 p. |
artikel |
||
| 5 | Small programming exercises 5 |
Rem, M. |
1984 |
4 | 3 |
p. 323-333 11 p. |
artikel |
|
| 6 | The crippled queen placement problem |
Wagner, Robert |
1984 |
4 | 3 |
p. 221-248 28 p. |
artikel |
|
| 7 | Une extension de vers les objets |
Cointe, Pierre |
1984 |
4 | 3 |
p. 291-322 32 p. |
artikel |
7 gevonden resultaten