|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic specification of modules and their basic interconnections |
Blum, E.K. |
1987 |
34 | 2-3 |
p. 293-339 47 p. |
artikel |
|
| 2 | Amalgamation of graph transformations: A synchronization mechanism |
Boehm, Paul |
1987 |
34 | 2-3 |
p. 377-408 32 p. |
artikel |
|
| 3 | Author index for volume 34 |
1987 |
34 | 2-3 |
p. 462- 1 p. |
artikel |
||
| 4 | Bisimulations and abstraction homomorphisms |
Castellani, Ilaria |
1987 |
34 | 2-3 |
p. 210-235 26 p. |
artikel |
|
| 5 | Concurrent histories: A basis for observing distributed systems |
Degano, Pierpaolo |
1987 |
34 | 2-3 |
p. 422-461 40 p. |
artikel |
|
| 6 | Editor's foreword |
Ehrig, Hartmut |
1987 |
34 | 2-3 |
p. 149- 1 p. |
artikel |
|
| 7 | Inductively defined functions in functional programming languages |
Burstall, R.M. |
1987 |
34 | 2-3 |
p. 409-421 13 p. |
artikel |
|
| 8 | On observational equivalence and algebraic specification |
Sannella, Donald |
1987 |
34 | 2-3 |
p. 150-178 29 p. |
artikel |
|
| 9 | On the implementation of abstract data types by programming language constructs |
Poigné, Axel |
1987 |
34 | 2-3 |
p. 340-376 37 p. |
artikel |
|
| 10 | Parameter-preserving data type specifications |
Padawitz, Peter |
1987 |
34 | 2-3 |
p. 179-209 31 p. |
artikel |
|
| 11 | Specification and top-down design of distributed systems |
Broy, Manfred |
1987 |
34 | 2-3 |
p. 236-265 30 p. |
artikel |
|
| 12 | Why horn formulas matter in computer science: Initial structures and generic examples |
Makowsky, J.A. |
1987 |
34 | 2-3 |
p. 266-292 27 p. |
artikel |
12 gevonden resultaten