> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: A meta-calculus for formal system development Beteiligte: Weber, Karl Matthias [VerfasserIn]; Weber, Matthias [Sonstige Person, Familie und Körperschaft] Erschienen: München; Wien: Oldenbourg, 1991 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195 Umfang: 197 S Sprache: Englisch ISBN: 3486219944 RVK-Notation: SI 210 : Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Berichte Schlagwörter: Softwareentwicklung > Formalisierung > Typisierter Lambda-Kalkül Entstehung: Hochschulschrift: Zugl.: Karlsruhe, Univ., Diss., 1990 Anmerkungen: Weitere Bestandsnachweise 0 : Berichte der Gesellschaft für Mathematik und Datenverarbeitung