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ț: 350^.90 lei
Preț: 417^.11 lei
Preț: 414^.66 lei
5%

Preț: 546^.29 lei
Preț: 419^.40 lei
Preț: 408^.99 lei
Preț: 406^.52 lei
Preț: 418^.07 lei
Preț: 414^.66 lei
Preț: 414^.28 lei
Preț: 411^.82 lei
20%

Preț: 354^.96 lei
Preț: 411^.82 lei

Preț: 363^.88 lei

Preț vechi: 454^.85 lei
-20% Nou

Puncte Express: 546

:
69^.64€ • 72^.55$ • 57^.90£

Carte tipărită la comandă

Livrare economică 08-22 februarie 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.