Systems Construction and Analysis: a Mathematical and Logical Framework

by Norman Fenton and Gillian Hill

Published by McGraw-Hill International (UK), 1992
Pages: 465
Price: 18.95

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

 

Return to Norman Fenton's books

Return To Norman Fenton's home page