TY -
BOOK
AU - Weber, Karl Matthias
AU - Weber, Matthias
TI -
A meta-calculus for formal system development
PB - Oldenbourg
SN - 3486219944
KW - Hochschulschrift
KW - Softwareentwicklung
KW - Formalisierung
KW - Typisierter Lambda-Kalkül
PY - 1991
BT - Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
CY - München
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -