Bookbot

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

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

Meer over het boek

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.

Een boek kopen

Operationales Spezifizieren mit programmierten Graphersetzungssystemen, Andy Schürr

Taal
Jaar van publicatie
1991
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief