TY - BOOK ED - Sheffield City Polytechnic ED - The Hartfield Polytechnic ED - ICL Ltd, Software Engineering Technology Transfer ED - Loughborough University of Technology TI - Essential mathematics for software engineers PY - 1987/// CY - London PB - Peter Peregrims KW - Mathematics KW - Data processing KW - Computer science N1 - v.1 Block 1: The software crisis. Block 2: Sets and logic. Block 3: Functions -- v.2 Block 4: Recursion and lists. Block 5: Relations. Block 6: Logic and proof -- v.3 Block 7: Mathematics in use. Block 8: Specifying a diary system. Block 9: A software crisis -- v.4 Student's guide, Glossary, Bibliography, Tutor's guide ER -