APIC
1 total work
An Introduction to Programming with Specifications
by Ryszard Kubiak, etc., Roman Rudzinski, and Stephan Sokoiowski
Published 22 March 1991
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 programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming.