TY  - BOOK
AU  - Heath,David
AU  - Allum,Derek
AU  - Dunckley,Lynne
TI  - Introductory logic and formal methods
SN  - 1872474101 (pbk.)
AV  - QA76.63 .H43 1994
U1  - 005.1 20
PY  - 1994///
CY  - Henley-on-Thames
PB  - Alfred Waller
KW  - Computer software
KW  - Development
KW  - Z (Computer program language)
KW  - Software
KW  - Mathematical models
N1  - Bibliography: p214. _ Includes index
ER  -