Advertisement

© 1976

Programmiersprachen

4. Fachtagung der GI Erlangen, 8.–10. März 1976

  • Hans-Jürgen Schneider
  • Manfred Nagl
Conference proceedings

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 1)

Table of contents

  1. Front Matter
    Pages I-VI
  2. Semantik und Verifikation/Semantics and Verification

  3. Echtzeitprogrammierung/Realtime Programming

  4. Programmiertechnik/Programming Methodology

    1. Franklin L. DeRemer, Hans H. Kron
      Pages 80-89
  5. Implementierungssprachen/Implementation Languages

  6. Grundlegende Konzepte/Foundational Concepts

  7. Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications

    1. Hans-Werner Brügmann, Alfons Rudert, Heinz Lehr
      Pages 156-165
    2. Eberhard Bertsch, Angelika Mueller-von Brochowski
      Pages 166-174
  8. Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis

About these proceedings

Keywords

Analysis Computer Programmieren Programmiersprache Programmiertechnik Programmierung Steuerung Verifikation formale Sprache

Editors and affiliations

  • Hans-Jürgen Schneider
    • 1
  • Manfred Nagl
    • 1
  1. 1.Institut für Mathematische Maschinen und Datenverarbeitung(II)Universität Erlangen-NürnbergErlangenDeutschland

Bibliographic information

  • Book Title Programmiersprachen
  • Book Subtitle 4. Fachtagung der GI Erlangen, 8.–10. März 1976
  • Editors H.J. Schneider
    M. Nagl
  • Series Title Informatik-Fachberichte
  • DOI https://doi.org/10.1007/978-3-642-66319-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1976
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-07619-3
  • eBook ISBN 978-3-642-66319-2
  • Series ISSN 0343-3005
  • Edition Number 1
  • Number of Pages VI, 270
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Computer Science, general
  • Buy this book on publisher's site