Formale Programmentwicklung mit dynamischer Logik von Maritta Heisel | ISBN 9783663146216

Formale Programmentwicklung mit dynamischer Logik

von Maritta Heisel