9781970001242
Verified Functional Programming in Agda
by: Aaron Stump
ISBN-10: 1970001240
ISBN-13: 9781970001242
Released: 2016-02-01
Pages: 284
此内容查看价格为8积分（VIP免费），请先登录
http://pan.baidu.com/s/1nv8OfpR 密码: xgwm
Verified Functional Programming in Agda
相关推荐
Altair in Python Applications: Definitive Reference for Developers and Engineers- A Little History of Mathematics
- Lean Blockchain Systems Thinking: Reinventing Value Streams
- Selected Lectures on Functional Analysis
- Risk Sensitive Value Measure Method: A New Method of Project Evaluation
- Calculus: A New Approach for Schools That Starts with Simple Algebra
