Explore the latest books of this year!
Bookbot

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

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

More about the book

Inhaltsverzeichnis1. Einleitung.2. Informelle Spracheinführung.3. Theoretische Grundlagen.4. Formale Sprachdefinition.5. Werkzeugunterstützung.6. Zusammenfassung und Ausblick.Anhang A: Die konkrete PROGRESS-Syntax.Anhang B: Die Spezifikation “ExpLanguage”.Anhang C: Die Spezifikation “FamilyCharts”.Anhang D: Die Spezifikation “FerryMansProblem”.Stichwortverzeichnis.

Book purchase

Operationales Spezifizieren mit programmierten Graphersetzungssystemen, Andy Schürr

Language
Released
1991
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating