Publisher's Synopsis
Computer software affects our daily lives in many ways, so we need it to be error-free and reliable. This book is about how mathematics may be used to achieve this through a better understanding of the fundamentals of software and its construction.