Computers & Internet
Verified Functional Programming in Agda (ACM Books)
₹6,047.81
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
By Stump, Aaron. Published by Morgan & Claypool Publishers. Format: Paperback. Edition: 1. 284 pages. Language: english. Published: 2016-02-01.
Book Specifications
| ISBN-13 | 9781970001242 |
| ISBN-10 | 1970001240 |
| Publisher | Morgan & Claypool Publishers |
| Language | english |
| Print Length | 284 pages |
| Category | Computers & Internet |
Frequently Asked Questions
What is the price of Verified Functional Programming in Agda?
Verified Functional Programming in Agda is available at ₹6,047.81 on BookShops.in.
Does BookShops.in offer free delivery for Verified Functional Programming in Agda?
FREE delivery on all orders for Verified Functional Programming in Agda.
Is Cash on Delivery available for Verified Functional Programming in Agda?
Yes, Cash on Delivery (COD) is available for Verified Functional Programming in Agda on BookShops.in. Pay when your order arrives.
What is the return policy for Verified Functional Programming in Agda?
BookShops.in offers a 15-day hassle-free return policy for Verified Functional Programming in Agda. Contact us at [email protected] or call +91 81899 68108.
Is Verified Functional Programming in Agda authentic?
Verified Functional Programming in Agda is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Software
User-centered Computer Aided Language Learning
₹1,920
Software
Emerging Free and Open Source Software Practices by Sulayman K. Sowe – F/OSS Development
₹2,950
Software
Microsoft Dynamics NAV 2009 Programming Cookbook by Matt Traxinger
₹3,215
Software
Religion Enters the Academy: The Origins of the Scholarly Study of Religion in America
₹3,376.02
Software
Opposites as Equals: Standard Differences Between Men and Women and How to Resolve T Hem
₹3,891.01
Software
Advanced Mathematical and Computational Tools in Metrology and Testing X
₹5,148
Related Products
View All
Computers & Internet
Information Security Incident Management: A Methodology
₹3,980
Computers & Internet
Computer Security: 20 Things Every Employee Should Know (McGraw-Hill Professional Education)
₹3,183.86
Computers & Internet
30-Second AI & Robotics
₹3,933.16
Computers & Internet
Fortnite: the Essential Guide to Battle Royale and Other Survival Games: Stories from the Colorado Rockies Dugout, Locker Room, and Press Box
₹3,975.53
Computers & Internet
Microsoft Word Guide for Success
₹3,228.02
Computers & Internet
Modern Full-Stack React Projects by Daniel Bugl
₹2,311