当前位置：首页 > 名称
大约有99,365项符合查询结果项。（搜索耗时：0.2551秒）
为您推荐： 青岛市文学艺术界联合会 press武汉市文学艺术界联合会 press余姚市文学艺术界联合会 press兴宁市文学艺术界联合会 press白云区文学艺术界联合会 press广州市白云区文学艺术界联合会
-
-
-
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
设计模式的艺术 软件开发人员内功修炼之道
刘伟著2013 年出版397 页ISBN：9787302296324本书分为4个部分，共26章：第1部分为基础知识，包括设计模式概述、UML类图和面向对象设计原则等内容；第2部分为创建的艺术，主要介绍6种常用的创建型设计模式；第3部分为组合的艺术，主要介绍7种常用的结构型设计模式；......
学科分类
出版时间