Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录) PDF图书下载

图书名称:	Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)
出版社:	Springer Verlag
图书作者:	Urzyczyn, Pawel (EDT)
ISBN:	9783540255932
页数:	432

数据来源:	淘宝、当当、京东、亚马逊、豆瓣
下载链接:	PDF格式下载

购买链接:	去淘宝购买去亚马逊购买

查看详细:	Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)