当前位置:首页 > 名称
大约有23,810项符合查询结果项。(搜索耗时:0.1589秒)
为您推荐: 逻辑的语言 语言与逻辑 语言的逻辑句法 语言与现代逻辑 中国逻辑与语言 中国逻辑与语言函授大学
-
-
-
-
-
-
-
-
-
软件形式规格说明语言-Z
缪淮扣,陈怡海编著2012 年出版299 页ISBN:9787302292777本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法,适合作为高校软件工程学科的教材使用。
-
学科分类
出版时间
