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

单词	Z语言
释义	Z语言 Encyclopedia 理学软件语言释 NoneZ语言一种基于一阶谓词逻辑和集合论的形式规格说明语言，它适用于描述计算机软件系统，也可应用于计算机硬件系统。它采用严格的数学理论，可以产生简明、精确、无歧义且可证明的规格说明。
随便看	datong datong brocaded poplin Datong Coalfield datong coal measures Da Tong Film Company Datong He Datonghehuangshui River Datong horse Datong Huizu Tuzu Zizhixian Datong Huoshanqun Datong Jiulong Bi Da Tong Luo & Bu Guo Datong Museum DaTong Musical Society DaTong Mutiny Datong Nine Dragon Wallstone Datong Pendi Datong-Qinhuangdao Railway Datong Qu Datong Shi Da-Tong Subgroup of Gan Dialect Datong tigu Yangge Datong town Datong Translation Bureau Datong urban planning scheme

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