Formale Programmentwicklung mit dynamischer Logik
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Maritta Heisel
Themen in »Formale Programmentwicklung mit dynamischer Logik«
Stimmen zu »Formale Programmentwicklung mit dynamischer Logik«
Details
ISBN: 9783824420315
Verlag: Deutscher Universitätsverlag
Erscheinung: 01.01.1992