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ț: 478.86 lei
- 20% Preț: 200.92 lei
- 15% Preț: 476.86 lei
- 15% Preț: 428.80 lei
- Preț: 470.52 lei
- Preț: 459.43 lei
- Preț: 470.15 lei
- Preț: 475.61 lei
- 20% Preț: 299.83 lei
- Preț: 466.02 lei
- Preț: 465.16 lei
- Preț: 463.61 lei
- Preț: 463.87 lei
- Preț: 462.42 lei
- Preț: 305.27 lei
- Preț: 348.20 lei
- Preț: 462.12 lei
- Preț: 460.47 lei
- Preț: 465.41 lei
- Preț: 462.99 lei
- Preț: 300.32 lei
- Preț: 302.01 lei
- Preț: 472.66 lei
- Preț: 462.59 lei
- Preț: 468.33 lei
- Preț: 458.09 lei
- Preț: 301.29 lei
- Preț: 465.56 lei
- Preț: 470.82 lei
- Preț: 402.97 lei
- Preț: 296.54 lei
- Preț: 461.50 lei
- Preț: 305.26 lei
- Preț: 462.78 lei
- Preț: 314.74 lei
- Preț: 336.46 lei
- Preț: 476.33 lei
- Preț: 464.24 lei
- Preț: 460.41 lei
- Preț: 460.78 lei
- Preț: 464.58 lei
Preț: 461.50 lei
Nou
Puncte Express: 692
Preț estimativ în valută:
88.35€ • 95.94$ • 74.30£
88.35€ • 95.94$ • 74.30£
Carte tipărită la comandă
Livrare economică 17-31 decembrie
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.