|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Asymptotic expansions of the mergesort recurrences |
Hwang, Hsien-Kuei |
1998 |
35 | 11 |
p. 911-919 |
artikel |
|
| 2 | Fusion and simultaneous execution in the refinement calculus |
Back, Ralph-Johan |
1998 |
35 | 11 |
p. 921-949 |
artikel |
|
| 3 | Modular correctness proofs of behavioural implementations |
Bidoit, Michel |
1998 |
35 | 11 |
p. 951-1005 |
artikel |
3 gevonden resultaten