Media type: Book; Thesis Title: A meta-calculus for formal system development Contributor: Weber, Karl Matthias [Author]; Weber, Matthias [Other] imprint: München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195 Extent: 197 S Language: English ISBN: 3486219944 RVK notation: SI 210 : Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Berichte Keywords: Softwareentwicklung > Formalisierung > Typisierter Lambda-Kalkül Origination: University thesis: Zugl.: Karlsruhe, Univ., Diss., 1990 Footnote: