TY - BOOK AU - Woodcock,Jim AU - Loomes,Martin TI - Software engineering mathematics PY - 1987/// CY - London PB - Pittman KW - Computer programs ER -