Formale Programmentwicklung mit dynamischer Logik
By: Maritta Heisel.
Publisher: Deutscher Universitätsverlag
Published: 1992
Place of publication: Wiesbaden
Language: ger
Number of pages: 288
Subjects: Logic  programming.
Other titles: Dynamische Logik.
Notes: Includes bibliographical references (p. 227-230).
Spine title: Dynamische Logik.
Originally presented as the author's thesis (doctoral)--Universität Karlsruhe, 1992.
"DUV Informatik"--P. [4] of cover.