Essential mathematics for software engineers / 
Produced by a consortium of Sheffield City Polytechnic, The Hatfield Polytechnic, University of Technology, Loughborough and ICL LTD, Software Engineering Technology Transfer. 
 - London :  Peter Peregrims,  1987. 
 - 4v. in varoius paginations 
<br/><br/>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 
<br/><br/><label>LCCN: </label>55051968  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Data processing<br/>Computer science--Mathematics