“Z语言”的概念、定义、翻译、参考文献-科学参考

单词	Z语言
释义	Z语言 Encyclopedia 理学软件语言释 NoneZ语言一种基于一阶谓词逻辑和集合论的形式规格说明语言，它适用于描述计算机软件系统，也可应用于计算机硬件系统。它采用严格的数学理论，可以产生简明、精确、无歧义且可证明的规格说明。
随便看	中国古代皇帝制度中国古代监察制度中国古代监察机构中国古代石结构中国古代矿冶业中国古代砖结构中国古代社会心理学思想中国古代社会研究中国古代神话研究中国古代禁书中国古代私学中国古代租书业中国古代税法中国古代管理心理学思想中国古代素髹漆器中国古代纸币中国古代经济心理学思想中国古代绘画理论发展史中国古代缂丝中国古代职官考选制度中国古代自然观中国古代舞蹈中国古代舞蹈史话中国古代船闸技术中国古代艺术教育

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。