Details

Autor(en) / Beteiligte

• Klaeren, H.A

Titel

Algebraische Spezifikation : Eine Einführung [electronic resource]

Auflage

1st ed. 1983

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

1983

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• Bibliographic Level Mode of Issuance: Monograph
• 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.
• German