Publisher's Synopsis
This book looks at the kind of mathematics required in the construction of software - particularly that used in the early stages of design. It provides an introduction to the subject, carefully explaining the need for mathematics in the software development process and showing in clear and simple terms what this mathematics is and how it can be used. The authors use the current Z notation, which is now an industry standard. The ideas and notation that underpin Z are addressed, thus forming a solid basis for the user to move on to more advanced texts at a later stage. Both authors have had considerable experience in this area, and the book anticipates and avoids learning difficulties.;An integrated and progressive style is adopted and each new topic is illustrated by relevant examples. The book will provide both experienced programmers and beginners with a thorough insight into the advantages to be gained from using mathematics in software programming.