TY  - BOOK
AU  - Woodcock,Jim
AU  - Loomes,Martin
TI  - Software engineering mathematics : formal methods demystified
SN  - 0273026739
U1  - QA/76.6 
PY  - 1988///
CY  - London
PB  - Pitman Publishing.
KW  - Computer systems -- Programs -- Mathematics.
ER  -