Skip to main content
SpringerLink
Log in
Book cover

Algebraische Spezifikation

Eine Einführung

  • Book
  • © 1983

Overview

Authors:
  1. Herbert Alois Klaeren

    1. Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  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
    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation