Schürr | Operationales Spezifizieren mit programmierten Graphersetzungssystemen | Buch | 978-3-8244-2021-6 | sack.de

Buch, Deutsch, 466 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 727 g

Reihe: DUV: Datenverarbeitung

Schürr

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
1991
ISBN: 978-3-8244-2021-6
Verlag: Deutscher Universitätsverlag

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

Buch, Deutsch, 466 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 727 g

Reihe: DUV: Datenverarbeitung

ISBN: 978-3-8244-2021-6
Verlag: Deutscher Universitätsverlag

Springer Book Archives

Schürr Operationales Spezifizieren mit programmierten Graphersetzungssystemen jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Schürr, Andreas

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.