|
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 | A formally grounded software specification method |
Choppy, Christine |
2006 |
67 | 1-2 |
p. 52-86 35 p. |
artikel |
|
| 2 | Algebraic–coalgebraic specification in CoCasl |
Mossakowski, Till |
2006 |
67 | 1-2 |
p. 146-197 52 p. |
artikel |
|
| 3 | An institution of modal logics for coalgebras |
Cıˆrstea, Corina |
2006 |
67 | 1-2 |
p. 87-113 27 p. |
artikel |
|
| 4 | Author Index – Volume 67 (2006) |
2006 |
67 | 1-2 |
p. 295- 1 p. |
artikel |
||
| 5 | Constructor-based observational logic |
Bidoit, Michel |
2006 |
67 | 1-2 |
p. 3-51 49 p. |
artikel |
|
| 6 | Contents |
2006 |
67 | 1-2 |
p. v- 1 p. |
artikel |
||
| 7 | Development graphs—Proof management for structured specifications |
Mossakowski, Till |
2006 |
67 | 1-2 |
p. 114-145 32 p. |
artikel |
|
| 8 | Editorial Board |
2006 |
67 | 1-2 |
p. CO2- 1 p. |
artikel |
||
| 9 | Executable structural operational semantics in Maude |
Verdejo, Alberto |
2006 |
67 | 1-2 |
p. 226-293 68 p. |
artikel |
|
| 10 | Keyword Index – Volume 67 (2006) |
2006 |
67 | 1-2 |
p. 297- 1 p. |
artikel |
||
| 11 | Petri net modules in the transformation-based component framework |
Padberg, Julia |
2006 |
67 | 1-2 |
p. 198-225 28 p. |
artikel |
|
| 12 | Thirty years of algebraic specification |
Orejas, Fernando |
2006 |
67 | 1-2 |
p. 1-2 2 p. |
artikel |
12 gevonden resultaten