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

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

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

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

Summary Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stak