Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl de Andreas Schürr

Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl: DUV: Datenverarbeitung

Autor Andreas Schürr

de Limba Germană Paperback – 1991

Din seria DUV: Datenverarbeitung

20%

Preț: 346^.70 lei
Preț: 412^.13 lei
Preț: 409^.70 lei
5%

Preț: 539^.74 lei
Preț: 414^.40 lei
Preț: 404^.10 lei
Preț: 401^.68 lei
Preț: 413^.08 lei
Preț: 409^.70 lei
Preț: 409^.33 lei
Preț: 406^.90 lei
20%

Preț: 350^.73 lei
Preț: 406^.90 lei

Preț: 359^.53 lei

Preț vechi: 449^.41 lei
-20% Nou

Puncte Express: 539

:
68^.81€ • 71^.72$ • 57^.28£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783824420216
ISBN-10: 382442021X
Pagini: 484
Ilustrații: XIII, 466 S.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:1991
Editura: Deutscher Universitätsverlag
Colecția Deutscher Universitätsverlag
Seria DUV: Datenverarbeitung

Locul publicării:Wiesbaden, Germany

Public țintă

Research

Cuprins

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.