TY  - BOOK
AU  - Broy,M.
ED  - Nato Advanced Study Institute On Constructive Methods In Computing Science
TI  - Constructive methods in computing science
T2  - Nato asi series f. computer and systems sciences
SN  - 3-540-51369-8
AV  - QA75.5 N37
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Procesamiento electrónico de datos
KW  - Congresos
N1  - "published in cooperation with nato scientific affairs division"; "proceedings of the nato advanced study institute on constructive methos computing science held at marktoberdorf, federal republic of germany, july 24 - august 5, 1988"
ER  -