For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Aaron Stump
Aaron Stump is the author of "Verified Functional Programming in Agda", "Programming Language Foundations" and "Programming Language Foundations, Wiley E-Text".
Books by Aaron Stump
View more
Verified Function...
Stump, Aaron
Hardback:
$109.95
Verified Function...
Stump, Aaron
Paperback:
$79.95
Verified Function...
Stump, Aaron
Hardback:
Verified Function...
Stump, Aaron
Electronic book text:
$63.95