We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Verified Functional Programming in Agda

Verified Functional Programming in Agda

By Aaron Stump

part of the ACM Books series

Verified Functional Programming in Agda by Aaron Stump
  • Language:
  • English
  • ISBN:
  • 9781970001242
  • Binding:
  • Paperback
  • Pages:
  • 284
  • Published:
  • February 28, 2016
  • Weight:
  • 540 g.
Delivery: 1-2 weeks
Expected delivery: December 5, 2024

About Aaron Stump

View all books by Aaron Stump

User ratings of Verified Functional Programming in Agda



Others also bought..
Find similar books
The book Verified Functional Programming in Agda can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.