当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0317秒)
为您推荐: press辽宁省电子计算机学会 小型微型计算机系统 press辽宁省电子计算机学会 中国审计学会计算机 分会 信息系统审计法规知识选 深圳市腾讯计算机系统有限公司著 press中国电子学会计算机学会电子计算机维护学组 中国电子学会计算机学会电子计算机维护学组
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
-
-
-
-
-
学科分类