在线查询网-手机版
在线查询网
图书大全
Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)
Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)
请输入要查询的图书：
查询
可以输入图书全称，关键词或ISBN号
Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)
ISBN: 9783540255932
出版社: Springer Verlag
页数: 432
定价: 632.80元
装帧: Pap
关键词：
Typed
Lambda
Calculi
and
Applications
有
类型
Lambda
演算
及其
应用
会议
录