An introduction to programming with specifications: a mathematical approach 0-12-427620-2, 9780124276208

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

457 76 2MB

English Pages 267 [281] Year 1991

Report DMCA / Copyright

DOWNLOAD FILE

An introduction to programming with specifications: a mathematical approach
 0-12-427620-2, 9780124276208