请输入您要查询的字词:
单词
Z语言
释义
Z语言
Encyclopedia
理学
软件语言
释
None
Z语言
一种基于一阶谓词逻辑和集合论的形式规格说明语言,它适用于描述计算机软件系统,也可应用于计算机硬件系统。它采用严格的数学理论,可以产生简明、精确、无歧义且可证明的规格说明。
随便看
rhombic dodecahedron
rhombic dodecahedron stellation
rhombic hexahedron
rhombic icosahedron
rhombic net
rhombic polyhedron
rhombic prism
rhombic symmetry
rhombic system
rhomb line
rhombohedral
rhombohedral lattice
rhombohedral system
rhombohedron
rhomboid
rhomboidal
rhomboidal dodecahedron
rhomboid muscle
rhombus
rhombus algorithm
rho meson
rhometal
rho-metric
R-homomorphism
R. Hooke
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 8:22:11