请输入您要查询的字词:
单词
Z语言
释义
Z语言
Encyclopedia
理学
软件语言
释
None
Z语言
一种基于一阶谓词逻辑和集合论的形式规格说明语言,它适用于描述计算机软件系统,也可应用于计算机硬件系统。它采用严格的数学理论,可以产生简明、精确、无歧义且可证明的规格说明。
随便看
三角形构图
三角形梳子
三角形法
三角形波
三角形的
三角形的中线
三角形的五心
三角形的全等
三角形的内切圆
三角形的半周长
三角形的双曲角亏
三角形的外接圆
三角形的底
三角形的形心
三角形的角亏
三角形的角平分线
三角形的角盈
三角形的解法
三角形的选取
三角形的重心
三角形的顶点
三角形的高
三角形相似
三角形矩阵
三角形穹顶面
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/4 13:30:42