TY  - BOOK
AU  - Broy, Manfred
AU  - Schieder,Brigit Eds.
TI  - Mathematical Methods in Program development
SN  - 3-540-63195-X
CY  - Berlin
KW  - Mathematical Methods
ER  -