DUV: Datenverarbeitung
© 1992
Formale Programmentwicklung mit dynamischer Logik
Authors: Heisel, Maritta
Buy this book
- Table of contents (11 chapters)
-
-
Einleitung
Pages 1-4
-
Bisherige Ansätze zur Programmentwicklung
Pages 5-24
-
Das KIV-System als Werkzeug für die formale Programmentwicklung
Pages 25-55
-
Ein programmiersprachenorientierter Ansatz
Pages 56-104
-
Formale Programmentwicklung durch sukzessive Etablierung von Teilzielen und RückwärtsSchleifenentwicklung
Pages 105-147
-
Table of contents (11 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formale Programmentwicklung mit dynamischer Logik
- Authors
-
- Maritta Heisel
- Series Title
- DUV: Datenverarbeitung
- Copyright
- 1992
- Publisher
- Deutscher Universitätsverlag
- Copyright Holder
- Springer Fachmedien Wiesbaden
- eBook ISBN
- 978-3-663-14621-6
- DOI
- 10.1007/978-3-663-14621-6
- Softcover ISBN
- 978-3-8244-2031-5
- Edition Number
- 1
- Number of Pages
- IX, 288
- Topics
