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ț: 343^.28 lei
Preț: 408^.07 lei
Preț: 405^.66 lei
5%

Preț: 534^.28 lei
Preț: 410^.31 lei
Preț: 400^.13 lei
Preț: 397^.72 lei
Preț: 409^.02 lei
Preț: 405^.66 lei
Preț: 405^.31 lei
Preț: 402^.90 lei
20%

Preț: 347^.26 lei
Preț: 402^.90 lei

Preț: 355^.95 lei

Preț vechi: 444^.94 lei
-20% Nou

Puncte Express: 534

:
62^.100€ • 73^.88$ • 55^.23£

Carte tipărită la comandă

Livrare economică 27 ianuarie-10 februarie 26

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.