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