Advertisement

GI — 11. Jahrestagung

In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

  • Wilfried Brauer

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

Table of contents

  1. Front Matter
    Pages N2-XIV
  2. Semantik von Programmiersprachen

  3. Quantitative Aspekte des Software-Engineering

  4. Entwurfs- und Entwicklungswerkzeuge für Rechnergestützte Informationssysteme

  5. Sichere Systems

  6. Informatik in der Schule

  7. Systematischer Entwurf von PDV-Systemen

  8. Aktuelle Entwickkungen auf dem Gebiet Computergestützter Personal-Informationssysteme

About this book

Keywords

Algorithmen Brauer Computer Datenbank Informatik Komplexität Logik Programmiersprache Programmierung Rechnernetze Verifikation

Editors and affiliations

  • Wilfried Brauer
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgHamburg 13Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-01089-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10884-9
  • Online ISBN 978-3-662-01089-1
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site