Kniha momentálne nie je na sklade

Operationales Spezifizieren mit programmierten Graphersetzungssystemen

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

Autori

Andy Schürr

Parametre

Počítače, IT, programovanie

Viac o knihe

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 Schürr

Jazyk
Rok vydania: 1991

Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu