Skip to main content
  • Book
  • © 1983

Algebraische Spezifikation

Eine Einführung

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages i-vii
  2. Einleitung

    • Herbert Alois Klaeren
    Pages 1-17
  3. Abstrakte Strukturen

    • Herbert Alois Klaeren
    Pages 18-34
  4. Gleichungen, Spezifikationen

    • Herbert Alois Klaeren
    Pages 35-50
  5. Rechnungen in Gleichungssystemen

    • Herbert Alois Klaeren
    Pages 51-64
  6. Erweiterungen von Gleichungsspezifikationen

    • Herbert Alois Klaeren
    Pages 65-76
  7. Finale Semantik

    • Herbert Alois Klaeren
    Pages 77-91
  8. Behandlung von Ausnahmezuständen

    • Herbert Alois Klaeren
    Pages 92-100
  9. Implementierungen von Gleichungsspezifikationen

    • Herbert Alois Klaeren
    Pages 101-122
  10. Abstrakte Software-Spezifikationen

    • Herbert Alois Klaeren
    Pages 123-144
  11. Korrektheit von Spezifikationen

    • Herbert Alois Klaeren
    Pages 145-153
  12. Parametrisierte Spezifikationen

    • Herbert Alois Klaeren
    Pages 154-167
  13. Praktischer Einsatz algebraischer Spezifikationen

    • Herbert Alois Klaeren
    Pages 168-186
  14. Anwendungsbeispiel

    • Herbert Alois Klaeren
    Pages 187-197
  15. Lösungen zu den Aufgaben

    • Herbert Alois Klaeren
    Pages 198-204
  16. Bibliographie

    • Herbert Alois Klaeren
    Pages 205-231
  17. Back Matter

    Pages 232-238

Authors and Affiliations

  • Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Deutschland

    Herbert Alois Klaeren

Bibliographic Information

  • Book Title: Algebraische Spezifikation

  • Book Subtitle: Eine Einführung

  • Authors: Herbert Alois Klaeren

  • DOI: https://doi.org/10.1007/978-3-642-69009-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12256-2Published: 01 March 1983

  • eBook ISBN: 978-3-642-69009-9Published: 12 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 238

  • Topics: Software Engineering

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access