• Home /
  • Verified Functional Programming in Agda(English, Paperback, Stump Aaron)

Verified Functional Programming in Agda(English, Paperback, Stump Aaron)

  2. Invariants Of The Function F(X, Y, X', Y') In The Calculus Of Variations Volume 9 1908

    Invariants Of The Function F(X, Y, X', Y') In The Calculus Of Variations Volume 9 1908
    Rs.346 on Snapdeal Buy

  3. The Gamma Function in the Integral Calculus Volume 20 1918

    The Gamma Function in the Integral Calculus Volume 20 1918
    Rs.343 on Snapdeal Buy

  4. On the Nature of Gothic Architecture And Herein of the True Functions of The Workman in Art 1854

    On the Nature of Gothic Architecture And Herein of the True Functions of The Workman in Art 1854
    Rs.346 on Snapdeal Buy

  5. Functions of Infinitely Many Variables in Hilbert Space Volume 23 1922

    Functions of Infinitely Many Variables in Hilbert Space Volume 23 1922
    Rs.343 on Snapdeal Buy

  6. Outline of the program in physical education for men at the University of Illinois Volume 1935/36

    Outline of the program in physical education for men at the University of Illinois Volume 1935/36
    Rs.654 on Snapdeal Buy

  7. Fundamentals of Computing and Programming in C

    Fundamentals of Computing and Programming in C
    Rs.298 on Snapdeal Buy

  8. Machine Learning in Production- Developing & Optimizing Data Science Workflows and Applications|First Edition|By Pearson

    Machine Learning in Production- Developing & Optimizing Data Science Workflows and Applications|First Edition|By Pearson
    Rs.424 on Snapdeal Buy

  9. Functions and disorders of the reproductive organs in youth in adult age and in advanced life 1858

    Functions and disorders of the reproductive organs in youth in adult age and in advanced life 1858
    Rs.600 on Snapdeal Buy

  10. Functioning Local Government in South India

    Functioning Local Government in South India
    Rs.331 on Snapdeal Buy

  11. The Expression of Constant and of Alternating Continued Fractions in Hyperbolic Functions Volume 9 1908

    The Expression of Constant and of Alternating Continued Fractions in Hyperbolic Functions Volume 9 1908
    Rs.343 on Snapdeal Buy

  12. DSEU - Delhi Polytechnics : Full Time Diploma Programs/Full Time Diploma in Pharmacy/Lateral Entry to Full Time Diploma Programs (CET) Guide

    DSEU - Delhi Polytechnics : Full Time Diploma Programs/Full Time Diploma in Pharmacy/Lateral Entry to Full Time Diploma Programs (CET) Guide
    Rs.295 on Snapdeal Buy

  13. Programming in Python 3, 2e

    Programming in Python 3, 2e
    Rs.545 on Snapdeal Buy

  14. 71 Projects for School Students Value Pack: A Set of Books on Science Projects That Helps Verify Scientific Knowledge Given In the Class

    71 Projects for School Students Value Pack: A Set of Books on Science Projects That Helps Verify Scientific Knowledge Given In the Class
    Rs.594 on Snapdeal Buy

  15. Web-Based Corporate Reporting In India

    Web-Based Corporate Reporting In India
    Rs.228 on Snapdeal Buy

  16. Life 3.0: Being Human in the Age of Artificial Intelligence

    Life 3.0: Being Human in the Age of Artificial Intelligence
    Rs.398 on Snapdeal Buy

  17. Excel Formulas and Functions, 1st Edition - Pearson

    Excel Formulas and Functions, 1st Edition - Pearson
    Rs.545 on Snapdeal Buy

  18. Zero To Mastery In C Programming- No.1 C Programming Book For Beginners, This Amazing C Book Covers A-Z About Programming In C, Also Comes With Tricks You Should Definietly Know, Latest Edition

    Zero To Mastery In C Programming- No.1 C Programming Book For Beginners, This Amazing C Book Covers A-Z About Programming In C, Also Comes With Tricks You Should Definietly Know, Latest Edition
    Rs.385 on Snapdeal Buy

  19. Verified Functional Programming in Agda(English, Hardcover, Stump Aaron)

    Verified Functional Programming in Agda(English, Hardcover, Stump Aaron)
    Rs.17858 on flipkart Buy

  20. Verified Functional Programming in Agda(English, Paperback, Stump Aaron)

    Verified Functional Programming in Agda(English, Paperback, Stump Aaron)
    Rs.13022 on flipkart Buy

  21. Verified Functional Programming in Agda(English, Electronic book text, Stump Aaron)

    Verified Functional Programming in Agda(English, Electronic book text, Stump Aaron)
    Rs.3800 on flipkart Buy

  22. Too Late by Colleen Hoover (English, Paperback)

    Too Late by Colleen Hoover (English, Paperback)
    Rs.₹300 on Shopclues Buy

  23. Sprint by Jake Knapp (English, Paperback)

    Sprint by Jake Knapp (English, Paperback)
    Rs.₹380 on Shopclues Buy

  24. You 2 by Price Pritchett (English, Paperback)

    You 2 by Price Pritchett (English, Paperback)
    Rs.₹250 on Shopclues Buy

  25. The Mountain Is You by Brianna Wiest (English, Paperbac

    The Mountain Is You by Brianna Wiest (English, Paperbac
    Rs.₹239 on Shopclues Buy

  26. Mastery by Robert Greene (Paperback, English)

    Mastery by Robert Greene (Paperback, English)
    Rs.₹300 on Shopclues Buy

  27. Expert Secrets by Russell Brunson (English, Paperback)

    Expert Secrets by Russell Brunson (English, Paperback)
    Rs.₹360 on Shopclues Buy

  28. Forgiving What You Can't Forget By Lysa TerKeurst (Engl

    Forgiving What You Can't Forget By Lysa TerKeurst (Engl
    Rs.₹401 on Shopclues Buy

  29. I Will Teach You to Be Rich by Ramit Sethi (English, Pa

    I Will Teach You to Be Rich by Ramit Sethi (English, Pa
    Rs.₹405 on Shopclues Buy

  30. The New Trading for a Living by Alexander Elder (Englis

    The New Trading for a Living by Alexander Elder (Englis
    Rs.₹401 on Shopclues Buy

  31. Make Time How to focus on what matters every day (Engli

    Make Time How to focus on what matters every day (Engli
    Rs.₹364 on Shopclues Buy

  32. How to Not Die Alone By Logan Ury (English, Paperback)

    How to Not Die Alone By Logan Ury (English, Paperback)
    Rs.₹400 on Shopclues Buy

  33. Haunting Adeline by H.D. Carlton (English, Paperback)

    Haunting Adeline by H.D. Carlton (English, Paperback)
    Rs.₹439 on Shopclues Buy

Search and compare best available prices of Verified Functional Programming in Agda(English, Paperback, Stump Aaron) from leading online shopping websites in India.