Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike.

Product Description: Teach Your Students How to Use Computing to Explore Powerful and Creative Ideas In the twenty-first century, computers have become indispensable in music making, distribution, performance, and consumption. Making Music with Computers: Creative Programming in Python introduces important concepts and skills necessary to generate music with computers...read more

Product Description: Combinatorial testing of software analyzes interactions among variables using a very small number of tests. This advanced approach has demonstrated success in providing strong, low-cost testing in real-world situations. Introduction to Combinatorial Testing presents a complete self-contained tutorial on advanced combinatorial testing methods for real-world software...read more

Product Description: A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations...read more

Product Description: Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level...read more

Product Description: Suitable for newcomers to computer science, A Concise Introduction to Programming in Python provides a succinct, yet complete, first course in computer science using the Python programming language. The book features: Short, modular chapters with brief and precise explanations, intended for one class period Early introduction of basic procedural constructs such as functions, selection, and repetition, allowing them to be used throughout the course Objects are introduced in the middle of the course, and class design comes toward the end Examples, exercises, and projects from a wide range of application domains, including biology, physics, images, sound, mathematics, games, and textual analysis No external libraries are required, simplifying the book’s use in common lab spaces Each chapter introduces a main idea through a concrete example and a series of exercises...read more

Product Description: LabVIEW™ has become one of the preeminent platforms for the development of data acquisition and data analysis programs. LabVIEW™: A Developer’s Guide to Real World Integration explains how to integrate LabVIEW into real-life applications...read more