[软件工程形式化方法与语言].李莹.吴江琴

【文件属性】：

文件名称：[软件工程形式化方法与语言].李莹.吴江琴

文件大小：8.54MB

文件格式：PDF

更新时间：2015-12-04 11:31:48

软件形式化

是一本描述集合论里面各种符号的教程，描述的十分详细，很好