Author's Books

E-book
Verified Functional Programming in Agda
Price
42.48 £ * Old Price 191.85 £