Formale Programmentwicklung mit dynamischer Logik von Maritta Heisel | ISBN 9783663146216

Formale Programmentwicklung mit dynamischer Logik

von Maritta Heisel
Buchcover Formale Programmentwicklung mit dynamischer Logik | Maritta Heisel | EAN 9783663146216 | ISBN 3-663-14621-9 | ISBN 978-3-663-14621-6

Formale Programmentwicklung mit dynamischer Logik

von Maritta Heisel
IX, 288 S.