DUV: Datenverarbeitung
© 1991
Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
Authors: Schürr, Andreas
Free PreviewBuy this book
- Table of contents (6 chapters)
-
-
Einleitung
Pages 1-15
-
Informelle Spracheinführung
Pages 16-50
-
Theoretische Grundlagen
Pages 51-125
-
Formale Sprachdefinition
Pages 126-339
-
Werkzeugunterstützung
Pages 340-391
-
Table of contents (6 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Operationales Spezifizieren mit programmierten Graphersetzungssystemen
- Book Subtitle
- Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl
- Authors
-
- Andreas Schürr
- Series Title
- DUV: Datenverarbeitung
- Copyright
- 1991
- Publisher
- Deutscher Universitätsverlag
- Copyright Holder
- 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
- Edition Number
- 1
- Number of Pages
- XIII, 466
- Topics
