A meta-calculus for formal system development

Zugl.: Karlsruhe, Univ., Diss., 1990

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Weber, Karl Matthias (VerfasserIn, BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München, Wien Oldenbourg 1991
Schriftenreihe:	Berichte der Gesellschaft für Mathematik und Datenverarbeitung 195
Schlagworte:	Hochschulschrift > Softwareentwicklung > Formalisierung > Typisierter Lambda-Kalkül
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!