电脑体验，效果更佳

语言设计图谱-计算机领域：

研究人员

葛琳 王志芳 江苏苏州215123 华保健 李兆鹏 陈意云

相关术语

多元组 交叉反汇编 归纳断言法 信息块 Pascal 用户输入 Hoare逻辑 数据库管理 扩展 反汇编程序 类型系统 计算机 安全性。 验证系统 程序设计语言 软件工程 结构归纳法 当前研究 指针逻辑 语言定义 询问语言 地址 数据库系统 程序正确性证明 软件安全

标签云