Programming Language Foundations
Aaron Stump
₹5,569
Verified Functional Programming in Agda
by Aaron Stump
Morgan & Claypool Publishers · 2016
₹6,183
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
Verified Functional Programming in Agda is written by Aaron Stump. This edition from Morgan & Claypool Publishers (2016) has 284 pages.
Its main subjects are Functional programming (computer science).
Book details
- ISBN-13
- 9781970001242
- ISBN-10
- 1970001240
- Author
- Aaron Stump
- Publisher
- Morgan & Claypool Publishers
- Published
- 2016
- Edition
- 1
- Pages
- 284
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Aaron Stump and related titles
Verified Functional Programming in Agda
Aaron Stump
₹7,558
Introduction to Compiler Design
Torben Egidius Mogensen
₹3,204
Digitales Fernsehen
Wolfgang Schulz, Wolfgang Seufert, Institut Für Informations-Telekomm Und
₹3,508
Bayesian Analysis in Natural Language Processing
Shay Cohen
₹3,253
Formal Methods for Nonmonotonic and Related Logics
Karl Schlechta
₹7,736
Thinking in JavaScript
Aravind Shenoy
₹3,042
Matlab Graphical Programming
Cesar Lopez
₹3,532
Digital Vegan
Andy Farnell
₹1,890
Jakarta EE Cookbook
Elder Moraes
₹2,091
Introduction to Computer Programming and Numerical Methods
Jocelyn O. Padallan
₹7,518
Learning to Save the Future
Alexander Means
₹3,565