Skip to main content
SpringerLink
Log in

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen

  • Textbook
  • © 1997

Overview

Authors:
  1. Gerhard Goos

    1. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Karlsruhe, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums"
  • Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom
  • Beschreibung des Zusammenhangs zwischen Algorithmenentwicklung und den theoretischen Grundlagen

Part of the book series: Springer-Lehrbuch (SLB)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Berechenbarkeit

    • Gerhard Goos
    Pages 1-50

  3. Komplexitätstheorie

    • Gerhard Goos
    Pages 51-76

  4. Formale Sprachen

    • Gerhard Goos
    Pages 77-144

  5. Programmtransformationen

    • Gerhard Goos
    Pages 145-172

  6. Spezifikationstechniken: Die Z Notation

    • Gerhard Goos
    Pages 173-216

  7. Ablaufspezifikationen, Synchronisierung und Kommunikation

    • Gerhard Goos
    Pages 217-272

  8. Back Matter

    Pages 273-284
    Download chapter PDF
Back to top

Keywords

About this book

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

Authors and Affiliations

  • Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Karlsruhe, Germany

    Gerhard Goos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation