 

当前位置：finelybook  电子书  Verified Functional Programming in Agda

Verified Functional Programming in Agda

2016-08-16 分类：电子书评论(0)

Verified Functional Programming in Agda
9781970001242

Verified Functional Programming in Agda
by: Aaron Stump
ISBN-10: 1970001240
ISBN-13: 9781970001242
Publication Date 出版日期: 2016-02-01
Pages: 284
xgwm

 打赏

未经允许不得转载：finelybook » Verified Functional Programming in Agda

相关推荐

评论抢沙发