裘老师赠书

裘老师退休后整理办公室书籍,把一些软件工程相关的书送给我,总共14本。其中绿色封皮的是:Using Z: Specification, Refinemeng and Proof, 作者是Jim Woodcock。最右边“数学巡礼”是裘老师的父亲翻译的一本数学科普书,送给我的女儿。另外,有两本是裘老师自己翻译的书。有两本面向模式的软件体系结构书,正好可以作为研究生软件体系结构的参考书。非常感谢裘老师!裘老师赠书目录

 

posted @ 2016-03-06 11:06  roseanne  阅读(167)  评论(0编辑  收藏  举报