|
题名:
|
ML程序设计教程
/
(英) Lawrence C. Paulson著
,
柯韦译
|
|
ISBN:
|
7-111-16121-1
价格：
CNY45.00
|
|
语种:
|
chi
|
|
载体形态:
|
XV, 369页
图
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
机械工业出版社
出版日期：
2005
|
|
主题词:
|
程序语言
程序设计
|
|
主题词:
|
ML语言
|
|
中图分类法:
|
TP312ML
版次：
4
|
|
主要责任者:
|
保罗森
著
|
|
次要责任者:
|
柯韦
译
|
|
责任者附注:
|
Lawrence C. Paulson，男，于1981年在美国斯坦福大学获得计算机逻辑学教授，近期正在研究关于自动定理证明和密码协议验证方面的工作。
|