Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie: Leitfäden und Monographien der Informatik
Autor Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeckde Limba Germană Paperback – oct 1989
Din seria Leitfäden und Monographien der Informatik
- 15% Preț: 486.42 lei
- 20% Preț: 204.11 lei
- 15% Preț: 484.37 lei
- 15% Preț: 435.56 lei
- Preț: 477.91 lei
- Preț: 466.97 lei
- Preț: 477.54 lei
- Preț: 483.09 lei
- 20% Preț: 304.55 lei
- Preț: 473.66 lei
- Preț: 472.47 lei
- Preț: 470.88 lei
- Preț: 471.18 lei
- Preț: 469.71 lei
- Preț: 310.25 lei
- Preț: 353.66 lei
- Preț: 469.38 lei
- Preț: 467.70 lei
- Preț: 472.72 lei
- Preț: 470.27 lei
- Preț: 305.22 lei
- Preț: 306.74 lei
- Preț: 480.44 lei
- Preț: 469.86 lei
- Preț: 475.70 lei
- Preț: 465.61 lei
- Preț: 306.00 lei
- Preț: 473.20 lei
- Preț: 478.23 lei
- Preț: 409.56 lei
- Preț: 301.18 lei
- Preț: 468.76 lei
- Preț: 310.04 lei
- Preț: 470.07 lei
- Preț: 319.67 lei
- Preț: 341.99 lei
- Preț: 483.83 lei
- Preț: 471.54 lei
- Preț: 467.66 lei
- Preț: 468.03 lei
- Preț: 471.91 lei
Preț: 468.76 lei
Nou
Puncte Express: 703
Preț estimativ în valută:
89.71€ • 94.64$ • 74.76£
89.71€ • 94.64$ • 74.76£
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
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 undergraduateCuprins
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.