Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl

  • Authors
  • Andreas Schürr

Part of the DUV: Informatik book series (DUVD)

Table of contents

  1. Front Matter
    Pages N1-XIII
  2. Andreas Schürr
    Pages 1-15
  3. Andreas Schürr
    Pages 16-50
  4. Andreas Schürr
    Pages 51-125
  5. Andreas Schürr
    Pages 126-339
  6. Andreas Schürr
    Pages 340-391
  7. Andreas Schürr
    Pages 392-394
  8. Back Matter
    Pages 395-466

About this book

Keywords

Graphersetzung Graphersetzungssystem Spezifikation Spiele Sprache Syntax Werkzeug

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-663-14577-6
  • Copyright Information Springer Fachmedien Wiesbaden 1991
  • Publisher Name Deutscher Universitätsverlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-8244-2021-6
  • Online ISBN 978-3-663-14577-6
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Aerospace