by RichardBird (Author)
This book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.
Format: Paperback
Pages: 358
Publisher: Cambridge University Press
Published: 09 Oct 2014
ISBN 10: 1107452643
ISBN 13: 9781107452640