000 01192nam a2200229u 4500
001 00811599
003 PWmBRO
005 20240602101638.0
008 890322s1987 enk 0 01 eng
010 _a 55051968
245 0 0 _aEssential mathematics for software engineers /
_cProduced by a consortium of Sheffield City Polytechnic, The Hatfield Polytechnic, University of Technology, Loughborough and ICL LTD, Software Engineering Technology Transfer.
260 _aLondon :
_bPeter Peregrims,
_c1987.
300 _a4v. in varoius paginations
505 0 _av.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
650 0 _aMathematics
_xData processing
650 0 _aComputer science
_xMathematics
710 2 0 _aSheffield City Polytechnic
710 2 0 _aThe Hartfield Polytechnic
710 2 0 _aICL Ltd, Software Engineering Technology Transfer
710 2 0 _aLoughborough University of Technology
942 _2ddc
999 _c45915
_d45915