TY - BOOK
AU - International Federation for Information Processing Working Group on Algorithmic Languages and Calculi
AU - Möller, Bernhard
TI - Formal program development IFIP TC2/WG 2.1 state-of-the-art report
PB - Springer
SN - 3540574999
SN - 0387574999
KW - Programming (Electronic computers)
KW - Computer programs Specifications
KW - Computer software
KW - Development
KW - Computer programming
KW - Aufsatzsammlung
KW - Konferenzschrift 1992 Rio de Janeiro
KW - Softwareentwicklung
KW - Formalisierung
PY - 1993
N2 - Literaturangaben
BT - Lecture notes in computer science ; 755
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation