"16" Result
Sort By:
A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good pr…
This book gives an introduction to the specification of programs, and some techniques that may be used to prove correctness of programs. Before mentioning any programming language an abstract execution model with an operational semantics is introduced, which is used for proving …