|
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 | Algorithm theories and design tactics |
Smith, Douglas R. |
1990 |
14 | 2-3 |
p. 305-321 17 p. |
artikel |
|
| 2 | A practical theory of programming |
Hehner, Eric C.R. |
1990 |
14 | 2-3 |
p. 133-158 26 p. |
artikel |
|
| 3 | Data structures and program transformation |
Malcolm, Grant |
1990 |
14 | 2-3 |
p. 255-279 25 p. |
artikel |
|
| 4 | Foreword |
van de Snepscheut, Jan L.A. |
1990 |
14 | 2-3 |
p. 113-115 3 p. |
artikel |
|
| 5 | Reasoning about continuous systems |
Chandy, K.Mani |
1990 |
14 | 2-3 |
p. 117-132 16 p. |
artikel |
|
| 6 | Searching by elimination |
Kaldewaij, Anne |
1990 |
14 | 2-3 |
p. 243-254 12 p. |
artikel |
|
| 7 | Specifying concurrent objects as communicating processes |
Misra, Jayadev |
1990 |
14 | 2-3 |
p. 159-184 26 p. |
artikel |
|
| 8 | Stepwise refinement and concurrency: the finite-state case |
Gribomont, E.Pascal |
1990 |
14 | 2-3 |
p. 185-228 44 p. |
artikel |
|
| 9 | The derivation of systolic computations |
Kaldewaij, Anne |
1990 |
14 | 2-3 |
p. 229-242 14 p. |
artikel |
|
| 10 | Types and invariants in the refinement calculus |
Morgan, Carroll |
1990 |
14 | 2-3 |
p. 281-304 24 p. |
artikel |
10 gevonden resultaten