|
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 Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic” |
de Groote, Philippe |
1998 |
10 | 2 |
p. 160-170 |
artikel |
|
| 2 | A Program Refinement Tool |
Carrington, D. |
BCS |
10 | 2 |
p. 97-124 |
artikel |
|
| 3 | A Program Refinement Tool |
Carrington, D. |
|
10 | 2 |
p. 97-124 |
artikel |
|
| 4 | Expressive Power of Specification Languages |
Hayes, Ian J. |
1998 |
10 | 2 |
p. 187-192 |
artikel |
|
| 5 | Specifying and Refining Internal Operations in Z |
Derrick, John |
1998 |
10 | 2 |
p. 125-159 |
artikel |
|
| 6 | Winskel is (almost) Right: Towards a Mechanized Semantics Textbook |
Nipkow, Tobias |
1998 |
10 | 2 |
p. 171-186 |
artikel |
6 gevonden resultaten