电脑体验，效果更佳

Object-Z图谱-计算机领域：

研究人员

文志诚 佟长英 缪淮扣 辜承志 沈云付 郝克刚 李长云 贾峰 韩俊刚 高如海 满君丰 陈怡海 陈传峰 胡纯蓉 杨红丽

相关术语

间隔逻辑 时序逻辑 ZEVES 形式化 证明责任 XML 无线传感器网络 XQuery UML 行为子类型 XPath 程序切片 功能需求 Flooding 路由算法 Kripke结构 XML Schema 通用堆栈 形式验证 面向对象

标签云