Skip to content
  • About Us
  • Publishers
  • Contact
  • Help & Resources
    • column
      • Inspection and Review Copy Requests
      • Delivery Information
      • Information for Booksellers
  • My Account
Filter ResultsOPEN +

Aaron Stump

Books by the Author

Verified Functional Programming in Agda

Verified Functional Programming in Agda

Keep up to date about books from Mare Nostrum

Sign up to our newsletter
  • Column
    • About MNG
    • Terms & Conditions
    • Privacy Policy

© 2025 The Mare Nostrum Group Bookshop. All Rights Reserved.

Powered by Supadu