ShopSpell

Algebraische Spezifikation Eine Einfhrung [Paperback]

Add Review

$51.99 ~~$69.99~~ 26% Off (Free Shipping)

100 available

Category: Books (Computers)
Author: Klaeren, H.A.
Author: Klaeren, H.A.
ISBN-10: 3540122567
ISBN-10: 3540122567
ISBN-13: 9783540122562
ISBN-13: 9783540122562
Publisher: Springer
Publisher: Springer
Binding: Paperback
Binding: Paperback
Pub Date: 01-Feb-1983
Pub Date: 01-Feb-1983
SKU: 3540122567-11-SPRI
SKU: 3540122567-11-SPRI
Item ID: 100714145
List Price: $69.99

Seller: ShopSpell
Ships in: 5 business days
Transit time: Up to 5 business days
Delivery by: Jul 10 to Jul 12
Notes: Brand New Book. Order Now.

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.Springer Book Archives