Buchportal für Bücher die eine ISBN tragen.

Reihe DUV: Datenverarbeitung

Maritta Heisel ×

Buchcover Formale Programmentwicklung mit dynamischer Logik

Formale Programmentwicklung mit dynamischer Logik

Deutscher Universitätsverlag

Buchcover Formale Programmentwicklung mit dynamischer Logik

Formale Programmentwicklung mit dynamischer Logik

Deutscher Universitätsverlag