Gratis Versand in ganz Österreich
Bookbot

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

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

Autor*innen

Mehr zum Buch

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.

Buchkauf

Operationales Spezifizieren mit programmierten Graphersetzungssystemen, Andy Schürr

Sprache
Erscheinungsdatum
1991
Wir benachrichtigen dich per E-Mail.

Lieferung

  • Gratis Versand in ganz Österreich

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben