An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and v
This book offers a "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC & Unix platforms, the functional language Haskell allows students to exp
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 1
