B方法(裘宗燕).pdf
裘宗燕 b方法,现在已经绝版了,到处买不到正版,这个PDF值得收藏。
用户评论
推荐下载
-
B方法The B Book Assigning programs to meanings
B方法 J-RAbrial著 裘宗燕译,这个不用在说了,png格式的,很清晰。
15 2020-09-20 -
宗成庆统计自然语言处理.pdf
《统计自然语言处理》全面介绍了统计自然语言处理的基本概念、理论方法和最新研究进展,内容包括形式语言与自动机及其在自然语言处理中的应用、语言模型、隐马尔可夫模型、语料库技术、汉语自动分词与词性标注、句法
95 2019-07-30 -
宗毅裂变式创业完整版.pdf
宗毅《裂变式创业》完整版.pdf
19 2019-05-08 -
WinCE嵌入式系统何宗建.pdf
讲解的WinCE 嵌入系统简单教程及实例
8 2020-09-16 -
人工神经网络导论蒋宗礼.pdf
讲神经网络的.我们的课本就是用的就是这
21 2020-05-28 -
VC PE十宗最投中201901.pdf
VC、PE“十宗最”-投中-201901.pdf
13 2020-08-30 -
王祥宗人才申请上传资料.pdf
王祥宗人才申请上传资料.pdf
8 2023-01-04 -
禁忌搜索算法评述_董宗然.pdf
工程应用中存在大量的优化问题,对优化算法的研究是目前研究的热点之一。禁忌搜索算法作为一种新兴的智能搜索算法具有模拟人类智能的记忆机制,已被广泛应用于各类优化领域并取得了理想的效果。本文介绍了禁忌搜索算
7 2021-02-01 -
编译器设计之路裘巍
《编译器设计之路》系统地介绍了一个实际的Pascal编译器NeoPascal的设计与实现。结合NeoPascal的源代码,详细讲述了LL(1)语法分析器、符号表系统、中间表示、类型系统、优化技术、运行
34 2019-09-28 -
B方法讲义.rar
北大裘宗燕老师的《B方法讲义》,形式化方法讲义,B语言用于编写软件规范,指导严谨的编码过程。
10 2020-05-26
暂无评论