finelybook
9781970001242
Verified Functional Programming in Agda
by: Aaron Stump
ISBN-10: 1970001240
ISBN-13: 9781970001242
Released: 2016-02-01
Pages: 284
解决验证以访问链接！进行人机身份验证
http://pan.baidu.com/s/1nv8OfpR 密码: xgwm
Verified Functional Programming in Agda
相关推荐
- Excel: The Comprehensive Guide for Beginners and Power Users to Master Formulas, Charts, Pivot Tables, and More with Step-by-Step Examples
- Applying AI in Learning and Development: From Platforms to Performance
- CAD/CAM: Computer-Aided Design and Manufacturing
- CCNA 200-301 Official Cert Guide, Volume 1, 2nd Edition
