Skip to contents Weber, Karl Matthias [Author] ; Weber, Matthias [Other] A meta-calculus for formal system development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
Weber, Karl Matthias [Author] ; Weber, Matthias [Other] A meta-calculus for formal system development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
> Creator Skip to next facet Weber, Karl Matthias (1) Wert ausschließen Weber, Matthias (1) Wert ausschließen Show more show less