
×
Inhaltsverzeichnis
- 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.