

Systems Construction and Analysis: a Mathematical and Logical Frameworkby Norman Fenton and Gillian HillPublished by McGrawHill International
(UK), 1992 Text book that provides a comprehensive coverage of the
discrete mathematics basis for computer science. Topics covered:
models, systems, sets, relations, functions, graph theory, linear
algebra, combinatorics, propositional calculus, predicate
calculus, proof, formal languages, lambda calculus, formal
specification, Z, VDM, formal verification, models of
computations, graph models for structured programming, Petri
nets, probability theory, algorithmic and computational
complexity, coding theory, measurement theory
