《面向对象软件的形式验证技术》PDF电子版

购买点数：9 点
作　　者：文志诚著
出版社：上海：上海大学出版社
出版年份：2011
ISBN：9787811186482
标注页数：172 页
PDF页数：187页
MD5值：7207aeeeb83c9afb29d6365a06c6edf1

图书介绍：本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

购买此书PDF格式电子书

压缩包BT下载地址（17 MB）