大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 形式化 的图书(共5本)

形式化：现代逻辑的发展

0
索取号：
作者：
出版社：北京 : 人民教育出版社, 1987-05

软件开发的形式化工程方法 : 结构化+面向对象+形式化

0
索取号：TP311.52/E20096
作者：Liu、 Shaoying、
出版社：北京 : 清华大学出版社, 2008.

形式概念分析

0
索取号：TP274/20077
作者：甘特尔、维勒、马垣、
出版社：北京 : 科学出版社, 2007

软件开发的形式化方法

0
索取号：620520
作者：古天龙、
出版社：北京 : 高等教育出版社, 2005

形式化 : 现代逻辑的发展

0
索取号：201388
作者：朱水林、
出版社：北京 : 人民出版社, 1987
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院