Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: German
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie
1989, B.G. Teubner
electronic resource :
in German
3519022664 9783519022664
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
1. Einleitung
1.1 Daten
1.2 Datentypen
1.3 Abstrakte Datentypen
1.4 Das Spezifikationsproblem
1.5 Übungen
2. Spezifikation
2.1 Signaturen
2.2 Axiome
2.3 Modelle
2.4 Theorien
2.5 Übungen
3. Strukturierung
3.1 Signatur-Morphismen
3.2 ADT- und Theorie-Morphismen
3.3 Strukturierte Spezifikationen
3.4 Übungen
4. Initialität
4.1 Term-Modelle
4.2 Initiale Modelle
4.3 Quotienten
4.4 Initiale Semantik
4.5 Übungen
5. Berechnung
5.1 Gleichungskalkül
5.2 Induktion
5.3 Kanonische Termalgebren
5.4 Termersetzung
5.5 Operationale Semantik
5.6 Übungen
6. Konstruktion
6.1 Erweiterungen
6.2 Datentyp-Konstruktoren
6.3 Freie Erweiterungen
6.4 Freie Konstruktion
6.5 Hierarchische Spezifikation
6.6 Übungen
7. Verhalten
7.1 Äquivalenz
7.2 Verhaltens-Abstraktion
7.3 Finale Algebren
7.4 Finale Semantik
7.5 Übungen
8. Parametrisierung
8.1 Pushouts in SIGN und SPEC
8.2 Parametrische Spezifikation
8.3 Parametrische abstrakte Datentypen
8.4 Übungen
9. PADT-Konstruktion
9.1 Grundlagen
9.2 Parametrische Anwendung
9.3 Reduktion
9.4 Übungen
10. Implementierung
10.1 Einführung
10.2 Realisierung
10.3 Komposition von Implementierungen
10.4 Übungen
11. Untersorten
11.1 Signaturen
11.2 Algebren
11.3 Gleichungen
11.4 Deklarationen
11.5 Operationale Semantik
11.6 Übungen
12. Fehler und Ausnahmen
12.1 Sichere und unsichere Funktionen
12.2 Implizite Ungleichungen
12.3 Ok/Fehler-disjunkte Untersorten
12.4 Punktierte Fehleralgebren
12.5 Vergleich der Methoden
12.6 Übungen
Grundbegriffe der Kategorientheorie
Literatur.
Edition Notes
Restrictions unspecified
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve
Description based on print version record.
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?June 28, 2019 | Created by MARC Bot | import new book |