Cantitate/Preț
Produs

Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie: Leitfäden und Monographien der Informatik

Autor Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck
de Limba Germană Paperback – oct 1989

Din seria Leitfäden und Monographien der Informatik

Preț: 46876 lei

Nou

Puncte Express: 703

Preț estimativ în valută:
8971 9464$ 7476£

Carte tipărită la comandă

Livrare economică 03-17 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783519022664
ISBN-10: 3519022664
Pagini: 252
Ilustrații: IX, 239 S. 4 Abb.
Dimensiuni: 170 x 244 x 13 mm
Greutate: 0.41 kg
Ediția:1989
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Leitfäden und Monographien der Informatik

Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

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.