Verified Functional Programming in Agda (ACM Books) by

Verified Functional Programming in - Paperback, by Stump Aaron - Acceptable e

Verified Functional Programming in Agda, Paperback by Stump, Aaron, Used Good...

Functional Programming in C++: How to - Paperback, by Cukic Ivan - Very Good

Electromagnetism By Pollack & Stump

Verified Functional Programming in Agda by Aaron Stump: Used

Verified Functional Programming In Agda

Verified Functional Programming in Agda (ACM Books) by