TY  - BOOK
AU  - Lover,Robert
TI  - Elementary logic for software development
SN  - 9781848000810 (pbk.)
AV  - QA76.76.D47 L68 2008
U1  - 005.101 22
PY  - 2008///
CY  - London
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Methodology
KW  - Reasoning
N1  - Includes bibliographical references (p. 305-308) and index
ER  -