当前位置:首页 > 名称
大约有199,322项符合查询结果项。(搜索耗时:0.3100秒)
为您推荐: 绘画形式语言与创新研究 中国语言文学研究 现代语言学研究 理论 方法 20世纪中国语言学方法论研究 文体学视阈下的格特鲁德 斯泰因语言艺术研究 关中山东方言岛语言接触与演变研究
-
-
-
-
计算机语言的形式语义 【工业技术】
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
软件形式规格说明语言-Z 【工业技术】
缪淮扣,陈怡海编著2012 年出版299 页ISBN:9787302292777本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法,适合作为高校软件工程学科的教材使用。
-
-
-
-
-
学科分类
出版时间
