Formale Programmentwicklung mit dynamischer Logik - Maritta Heisel - Häftad | Bokus