Formale Programmentwicklung Mit Dynamischer Logik (DUV: Datenverarbeitung)

Heisel, Maritta

 
9783824420315: Formale Programmentwicklung Mit Dynamischer Logik (DUV: Datenverarbeitung)