by Andrew D . Gordon (Author)
Extends functional programming to solve I/O problems, while retaining usual verification features.
Format: Paperback
Pages: 172
Edition: 1
Publisher: Cambridge University Press
Published: 31 Jul 2008
ISBN 10: 0521070074
ISBN 13: 9780521070072