Programming Language Foundations
Aaron Stump
₹5,569
Verified Functional Programming in Agda
by Aaron Stump
Morgan & Claypool Publishers · 2016
₹7,558
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Morgan & Claypool Publishers in 2016, Verified Functional Programming in Agda by Aaron Stump runs to 283 pages.
The book deals with Functional programming (computer science).
Book details
- ISBN-13
- 9781970001273
- ISBN-10
- 1970001275
- Author
- Aaron Stump
- Publisher
- Morgan & Claypool Publishers
- Published
- 2016
- Pages
- 283
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Aaron Stump and related titles
Verified Functional Programming in Agda
Aaron Stump
₹6,183
Introducing Micronaut
Todd Raymond Sharp
₹4,171
Introduction to Scilab
Sandeep Nagar
₹3,326
Large Language Models for Chemists
Zhiling Zheng
₹21,879
Real-Time Structural Health Monitoring of Vibrating Systems
Vikram Pakrashi, Basuraj Bhowmik, Budhaditya Hazra
₹15,175
Artificial Intelligence in Higher Education
Prathamesh Churi, Shubham Joshi, Mohamed Elhoseny, Amina Omrane
₹11,817
Random Field Models in Earth Sciences
George Christakos
₹3,816
AI Needs You
Verity Harding
₹2,192
Information Technology and Intelligent Transportation Systems
Valentina Emilia Balas, Lakhmi C. Jain, Xiangmo Zhao
₹15,394
Rethinking University Teaching
Diana Laurillard
₹3,397
Measuring the Digital Transformation
Oecd
₹4,714