ShopSpell
Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterst?tzung Herausgege [Paperback]
$44.99
$59.99 25% Off
(Free Shipping)
100 available
- Category: Books
(Mathematics)
- Author:
Sch?rr, Andreas
-
Author:
Sch?rr, Andreas
- ISBN-10:
382442021X
-
ISBN-10:
382442021X
- ISBN-13:
9783824420216
-
ISBN-13:
9783824420216
- Publisher:
Deutscher Universit?tsverlag
-
Publisher:
Deutscher Universit?tsverlag
- Binding:
Paperback
-
Binding:
Paperback
- Pub Date:
01-Mar-1991
-
Pub Date:
01-Mar-1991
- SKU:
382442021X-11-SPRI
-
SKU:
382442021X-11-SPRI
- Pages:
466
-
Pages:
466
- Item ID: 105281494
- List Price: $59.99
- Seller: ShopSpell
- Ships in: 5 business days
- Transit time: Up to 5 business days
- Delivery by: Oct 12 to Oct 14
- Notes: Brand New Item. Not shipped to AK, HI, APO, FPO, AE.
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.Springer Book Archives