Cantitate/Preț
Produs
Total produse
Vezi coșul
Algebraische Spezifikation: Eine Einführung de H. A. Klaeren

Algebraische Spezifikation: Eine Einführung

Autor H. A. Klaeren
de Limba Germană Paperback – 28 feb 1983

Preț: 41711 lei

Preț vechi: 52139 lei
-20% Nou

Puncte Express: 626
Preț estimativ în valută:
7983€ • 8303$ • 6690£

Carte tipărită la comandă

Livrare economică 13-27 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540122562
ISBN-10: 3540122567
Pagini: 248
Ilustrații: VIII, 238 S.
Dimensiuni: 170 x 244 x 13 mm
Greutate: 0.4 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezuständen.- 7. Implementierungen von Gleichungsspezifikationen.- 8. Abstrakte Software-Spezifikationen.- 9. Korrektheit von Spezifikationen.- 10. Parametrisierte Spezifikationen.- 11. Praktischer Einsatz algebraischer Spezifikationen.- 12. Anwendungsbeispiel.- 13. Lösungen zu den Aufgaben.- 14. Bibliographie.- 15. Stichwortverzeichnis.