Knihobot
Knihu momentálně nemáme skladem

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

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

Parametry

Více o knize

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.

Nákup knihy

Operationales Spezifizieren mit programmierten Graphersetzungssystemen, Andy Schürr

Jazyk
Rok vydání
1991
Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit