Advertisement

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

  • Hartmut Ehrig
  • Bernd Mahr

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 6)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Hartmut Ehrig, Bernd Mahr
    Pages 1-8
  3. Hartmut Ehrig, Bernd Mahr
    Pages 9-31
  4. Hartmut Ehrig, Bernd Mahr
    Pages 32-61
  5. Hartmut Ehrig, Bernd Mahr
    Pages 62-88
  6. Hartmut Ehrig, Bernd Mahr
    Pages 89-107
  7. Hartmut Ehrig, Bernd Mahr
    Pages 108-137
  8. Hartmut Ehrig, Bernd Mahr
    Pages 138-167
  9. Hartmut Ehrig, Bernd Mahr
    Pages 168-200
  10. Hartmut Ehrig, Bernd Mahr
    Pages 201-244
  11. Hartmut Ehrig, Bernd Mahr
    Pages 245-272
  12. Hartmut Ehrig, Bernd Mahr
    Pages 273-306
  13. Back Matter
    Pages 307-321

About this book

Introduction

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Keywords

Mathematica Semantik Software-Spezifikation abstract data types abstrakte Datentypen algebra algebraische Spezifikation computer science initiale Semantik semantics software software specification theoretical computer science

Authors and affiliations

  • Hartmut Ehrig
    • 1
  • Bernd Mahr
    • 1
  1. 1.FB 20, Informatik, Sekr. FR 6-1Technische Universität BerlinBerlin 10Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-69962-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-69964-1
  • Online ISBN 978-3-642-69962-7
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site