
Verified Functional Programming in Agda
Ulrich Koschorke
₹4,620

Manohar Publishers & Distributors · 1980
Free delivery. Nothing extra to pay at checkout.
Offer
Use code GIG9 at checkout and pay ₹3,450 for this book (save ₹341).
9% off every book, up to ₹500 off per order.
Verified Software. Theories, Tools, and Experiments is written by Ulrich Koschorke. This edition is published by Manohar Publishers & Distributors (1980).