Book of Donmon Teith

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which und

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating