Verified Functional Programming in Agda

Original price was: $70.00.Current price is: $24.99.

Instant download Verified Functional Programming in Agda after payment

SKU: EB_107400 Category: