软件工程 系统与语言规约 第二卷 课后答案 ([美]Dines Bjorner)

本人西北民族大学，2010级制药工程专业的大学生。诚心求软件工程 系统与语言规约 课后答案，[美]Dines版的，要有解题过程，尽量详尽完整。最好是Word版，方便打印。或者自己做的，用手机拍成高清图片也可以。要是答案书扫描成的电子文档就再好不过了。

此课后习题答案对应的教材信息如下：

书名：软件工程 系统与语言规约
作者：[美]Dines Bjorner 著 刘伯超 译
出版社：清华大学出版社