基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation PDF图书下载

图书名称:	基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation
出版时间:	2002-12
出版社:	1 edition (2002年8月1日)
图书作者:	Alberto Pettorossi
ISBN:	9783540439158
页数:	265

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

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

查看详细:	基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation