Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgege by Andreas SchürrOperationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgege by Andreas Schürr

Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen…

byAndreas Schürr

Paperback | January 1, 1991 | German

Pricing and Purchase Info

$84.50

Earn 423 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen…Format:PaperbackPublished:January 1, 1991Publisher:Deutscher UniversitätsverlagLanguage:German

The following ISBNs are associated with this title:

ISBN - 10:382442021X

ISBN - 13:9783824420216

Look for similar items by category:

Reviews

Table of Contents

1. 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.