Dieses Buch kaufen
- Inhaltsverzeichnis (6 Kapitel)
-
-
Einleitung
Seiten 1-15
-
Informelle Spracheinführung
Seiten 16-50
-
Theoretische Grundlagen
Seiten 51-125
-
Formale Sprachdefinition
Seiten 126-339
-
Werkzeugunterstützung
Seiten 340-391
-
Inhaltsverzeichnis (6 Kapitel)
Wir empfehlen
Bibliografische Information
- Bibliographic Information
-
- Buchtitel
- Operationales Spezifizieren mit programmierten Graphersetzungssystemen
- Buchuntertitel
- Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
- Autoren
-
- Andreas Schürr
- Titel der Buchreihe
- DUV: Datenverarbeitung
- Copyright
- 1991
- Verlag
- Deutscher Universitätsverlag
- Copyright Inhaber
- Springer Fachmedien Wiesbaden
- eBook ISBN
- 978-3-663-14577-6
- DOI
- 10.1007/978-3-663-14577-6
- Softcover ISBN
- 978-3-8244-2021-6
- Auflage
- 1
- Seitenzahl
- XIII, 466
- Themen
