Formale Programmentwicklung mit dynamischer Logik von Maritta Heisel | ISBN 9783824420315

Formale Programmentwicklung mit dynamischer Logik

von Maritta Heisel
Buchcover Formale Programmentwicklung mit dynamischer Logik | Maritta Heisel | EAN 9783824420315 | ISBN 3-8244-2031-7 | ISBN 978-3-8244-2031-5

Formale Programmentwicklung mit dynamischer Logik

von Maritta Heisel
IX, 288 S.