Advertisement

Algebraische Spezifikation

Eine Einführung

  • Herbert Alois Klaeren
Book

Table of contents

  1. Front Matter
    Pages i-vii
  2. Herbert Alois Klaeren
    Pages 1-17
  3. Herbert Alois Klaeren
    Pages 18-34
  4. Herbert Alois Klaeren
    Pages 35-50
  5. Herbert Alois Klaeren
    Pages 51-64
  6. Herbert Alois Klaeren
    Pages 65-76
  7. Herbert Alois Klaeren
    Pages 77-91
  8. Herbert Alois Klaeren
    Pages 92-100
  9. Herbert Alois Klaeren
    Pages 101-122
  10. Herbert Alois Klaeren
    Pages 123-144
  11. Herbert Alois Klaeren
    Pages 145-153
  12. Herbert Alois Klaeren
    Pages 154-167
  13. Herbert Alois Klaeren
    Pages 168-186
  14. Herbert Alois Klaeren
    Pages 187-197
  15. Herbert Alois Klaeren
    Pages 198-204
  16. Herbert Alois Klaeren
    Pages 205-231
  17. Back Matter
    Pages 232-238

About this book

Keywords

EDV Entwicklung Informatik Pascal Programmiersprache Semantik Software Software Engineering Software-Entwicklung Spezifikation (EDV) Sprache

Authors and affiliations

  • Herbert Alois Klaeren
    • 1
  1. 1.Lehrstuhl für Informatik IIRWTH AachenAachenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-69009-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12256-2
  • Online ISBN 978-3-642-69009-9
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering