UID:
almahu_9948192597902882
Format:
VIII, 238 S.
,
online resource.
Edition:
1st ed. 1983.
ISBN:
9783642690099
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540122562
Language:
German
DOI:
10.1007/978-3-642-69009-9
URL:
https://doi.org/10.1007/978-3-642-69009-9