Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Inhaltsangabe
1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezuständen.- 7. Implementierungen von Gleichungsspezifikationen.- 8. Abstrakte Software-Spezifikationen.- 9. Korrektheit von Spezifikationen.- 10. Parametrisierte Spezifikationen.- 11. Praktischer Einsatz algebraischer Spezifikationen.- 12. Anwendungsbeispiel.- 13. Lösungen zu den Aufgaben.- 14. Bibliographie.- 15. Stichwortverzeichnis.