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

单词	Z语言
释义	Z语言 Encyclopedia 理学软件语言释 NoneZ语言一种基于一阶谓词逻辑和集合论的形式规格说明语言，它适用于描述计算机软件系统，也可应用于计算机硬件系统。它采用严格的数学理论，可以产生简明、精确、无歧义且可证明的规格说明。
随便看	新时期中国“新舞蹈”史述新时期产业工人队伍建设改革方案新时期戏曲现代戏优秀剧作选新时期文学新时期民族工作文献选编新时期语言文字工作记事新昌县调腔保护传承发展中心新昌大佛寺新明日报新星新星光谱新星出现率新星命名新星太阳卫星新星女队一号新星爆前光谱新星爆前天体新星爆发新星编号新星遗迹新晃侗族自治县新普利茅斯新普希金奖新普罗维登斯岛新普鲁士报

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