Algebraische Spezifikation abstrakter Datentypen - Buch im Überblick

Alles Wichtige zu Algebraische Spezifikation abstrakter Datentypen

Algebraische Spezifikation abstrakter Datentypen gehört zur Kategorie Sachbuch und stammt von Hans-Dieter Ehrich - eine Kombination, die den Titel sowohl fachlich als auch bibliografisch interessant macht. Der Zusatz eine Einführung in die Theorie schärft das Profil von Algebraische Spezifikation abstrakter Datentypen und unterstützt die thematische Einordnung bereits auf den ersten Blick. Als Veröffentlichungsdatum ist 1989 hinterlegt; verlegt wurde der Titel von B.G. Teubner in Stuttgart.

Warum Algebraische Spezifikation abstrakter Datentypen relevant sein kann

Algebraische Spezifikation abstrakter Datentypen spricht besonders Nutzer an, die sich für Bücher rund um Sachbuch interessieren. Die Angaben zu B.G. Teubner und Stuttgart stärken die bibliografische Präzision des Eintrags. Algebraische Spezifikation abstrakter Datentypen liegt in Deutsch vor, was für die inhaltliche Nutzung ebenso wichtig ist wie für die bibliografische Suche. Auch das Veröffentlichungsdatum 1989 macht Algebraische Spezifikation abstrakter Datentypen für zeitlich eingegrenzte Suchen besonders interessant. Algebraische Spezifikation abstrakter Datentypen ist besonders für Leserinnen und Leser interessant, die sich gezielt mit Veröffentlichungen von Hans-Dieter Ehrich beschäftigen möchten.

Was behandelt Algebraische Spezifikation abstrakter Datentypen?

Die Struktur des Werkes wird besonders gut über folgende Inhaltsübersicht sichtbar: 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. Für die thematische Suche und semantische Zuordnung sind insbesondere diese Tags relevant: Computer software, Development, Algebraic logic, Universal Algebra, Algebraische Spezifikation, Abstrakter Datentyp Mit einem Umfang von 1 Seiten und dem Format physical verbindet die Ausgabe inhaltliche Tiefe mit einer klar beschriebenen physischen Form.

Ausgabe, Identifikatoren und Referenzen

Die Open-Library-Zuordnung über OL19825458W und OL27015902M verbessert die externe Nachvollziehbarkeit des Werkes. Mit 3519022664 und 9783519022664 stehen zwei zentrale ISBN-Varianten zur Verfügung, die die Ausgabe eindeutig beschreiben. Verlag, Ort und Datum - B.G. Teubner, Stuttgart und 1989 - bilden zusammen einen wichtigen bibliografischen Kern dieses Datensatzes.

Bibliografische Eckdaten dieser Ausgabe

1. Verlag: B.G. Teubner
2. Buchtitel: Algebraische Spezifikation abstrakter Datentypen
3. Open-Library-Work-ID: OL19825458W
4. Ausgabeform: physical
5. ISBN-10: 3519022664
6. Externe Editionsreferenzen: OL27015902M
7. Verfügbare Sprache dieser Ausgabe: Deutsch
8. Thematische Tags: Computer software, Development, Algebraic logic, Universal Algebra, Algebraische Spezifikation, Abstrakter Datentyp
9. Ort der Veröffentlichung: Stuttgart
10. Umfang: 1 Seiten
11. Verfasst von: Hans-Dieter Ehrich
12. Inhaltsübersicht: 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.
13. Thematische Hauptkategorie: Sachbuch
14. Veröffentlicht am: 1989
15. Untertitel: eine Einführung in die Theorie
16. Internationale Standardbuchnummer (ISBN-13): 9783519022664

Relevanz für Suche und Einordnung

Durch die Kombination aus Titel, Autorenschaft, Kategorie und Schlagwörtern - also Algebraische Spezifikation abstrakter Datentypen, Hans-Dieter Ehrich, Sachbuch und Computer software, Development, Algebraic logic, Universal Algebra, Algebraische Spezifikation, Abstrakter Datentyp - ist der Datensatz sowohl für Suchmaschinen als auch für Nutzerinnen und Nutzer sehr gut interpretierbar. Mit ISBN-10, ISBN-13 und Work-ID - 3519022664, 9783519022664 und OL19825458W - lässt sich diese Ausgabe plattformübergreifend eindeutig verknüpfen.

FAQ zu Algebraische Spezifikation abstrakter Datentypen

Hier findest du weitere ausgewählte Links.