TY -
BOOK
AU - Schmitz, Christoph
TI -
Spezifikation objektorientierter Systeme
PB - Wilhelm-Schickard-Inst., Univ. Tübingen
KW - Hochschulschrift
KW - Forschungsbericht
KW - Objektorientierung
KW - Softwareentwicklung
KW - Algebraische Spezifikation
PY - 2000
N2 - Literaturverz. S. 215 - 221
BT - WSI ; 2000-14
CY - Tübingen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -