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

Reihe DUV: Datenverarbeitung

Maritta Heisel ×eBooks ×

Buchcover Formale Programmentwicklung mit dynamischer Logik

Formale Programmentwicklung mit dynamischer Logik

Deutscher Universitätsverlag