Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
Andreas Schürr (auth.)
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.
ปี:
1991
ฉบับพิมพ์ครั้งที่:
1
สำนักพิมพ์:
Deutscher Universitätsverlag
ภาษา:
german
จำนวนหน้า:
466
ISBN 10:
382442021X
ISBN 13:
9783824420216
ซีรีส์:
DUV: Informatik
ไฟล์:
PDF, 20.61 MB
IPFS:
,
german, 1991
หนังสือเล่มนี้ไม่สามารถดาวน์โหลดได้เนื่องจากมีคำร้องเรียนจากผู้ถือลิขสิทธิ์