TY  - BOOK
AU  - Lover,Robert
TI  - Elementary logic for software development
SN  - 9781848000810 (pbk.)
PY  - 2008///
CY  - London
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Methodology
KW  - Reasoning
N1  - Includes Index; Includes bibliographical references
ER  -