下载 >  课程资源 >  专业指导 > 形式化方法书fsuz02

形式化方法书fsuz02 评分:

形式化方法用书 FSUZ_Lightfoot_02
2012-04-27 上传大小:1.43MB
分享
收藏 举报
形式化法书fsuz01

形式化方法用书 FSUZ_Lightfoot_01

立即下载
软件方法书

软件方法

立即下载
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

立即下载
eclipse 65535 方法数超限问题解决

eclipse 65535 方法数超限问题解决方法数超限问题解决

立即下载
Semantics of probabilistic processes

我们学者在概率系统形式化验证方面的专著,对于形式化验证方向的研究者非常有用。

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
图灵书籍(我的第一本编程书.pdf+函数式编程思维.pdf及代码)

图灵书籍包括我的第一本编程书.pdf、函数式编程思维.pdf及代码。

立即下载
写给大家看的算法书 ([日]杉浦贤) 中文完整pdf扫描版[38MB]

第1 章 什么是算法 1 第2 章 变量和数组 13 第3章 数据结构 55 第4章 学习算法基础 83 第5 章 排序算法 109 第6 章 搜索算法 131 第7 章 其他算法 147 第8 章 算法和计算机 159

立即下载
photoshop颜色设置方法书

photoshop 颜色设置方法,用户很方便调试颜色,达到满意效果

立即下载
我的第一本算法书 + 算法图解 pdf

我的第一本算法书 + 算法图解 两本都很不错的算法书,可以配合着看

立即下载
我的第一本算法书

这是纸质书的电子版,算法入门书籍,中文图书,配高清彩图,有完整目录。

立即下载
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
图灵书籍(我的第一本算法书.pdf)

本书采用大量图片,通过详细的分步讲解,以直观、易懂的方式展现了7个数据结构和26个基础算法的基本原理。第1章介绍了链表、数组、栈等7个数据结构;从第2章到第7章,分别介绍了和排序、查找、图论、安全、聚类等相关的26个基础算法,内容涉及冒泡排序、二分查找、广度优先搜索、哈希函数、迪菲 - 赫尔曼密钥交换、k-means 算法等。 本书没有枯燥的理论和复杂的公式,而是通过大量的步骤图帮助读者加深对数据结构原理和算法执行过程的理解,便于学习和记忆。将本书作为算法入门的第一步,是非常不错的选择。

立即下载
安全协议形式化研究与实现

硕士论文,研究通信安全协议方面的,对形式化的研究与实现

立即下载
面向计算机科学的数理逻辑

国内一本不错的书,对形式化方面有一定的帮助

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

立即下载
我的第一本算法书.[日]石田保辉(带书签高清文字版)全彩版.pdf

本书采用大量图片,通过详细的分步讲解,以直观、易懂的方式展现了7 个数据结构和26 个基础算法的基本原理。第1 章介绍了链表、数组、栈等7 个数据结构;从第2 章到第7 章,分别介绍了和排序、查找、图论、安全、聚类等相关的26 个基础算法,内容涉及冒泡排序、二分查找、广度优先搜索、哈希函数、迪菲- 赫尔曼密钥交换、k-means 算法等。 本书没有枯燥的理论和复杂的公式,而是通过大量的步骤图帮助读者加深对数据结构原理和算法执行过程的理解,便于学习和记忆。将本书作为算法入门的第一步,是非常不错的选择。本书适合所有对算法感兴趣,想要从零开始学习算法的读者阅读。 序章 算法的基本知识  001 0

立即下载
软件形式化验证课程课件

清华大学软件学院研究生课程回忆 贺飞老师的课程,理论结合实际,研究了NuSMV的工具和语言的运用。 不错的课程,对软件形式化的讲解还是很好地。 资源包括Logic in Computer Science Modelling and Reasoning about Systems教材。英文原版的

立即下载
区块链—形式化表示与体系结构演进--斯雪明

2018中国区块链技术大会上,斯雪明做的演讲,区块链—形式化表示与体系结构演进

立即下载
我的第一本算法书.pdf

我的第一本算法书.pdf,

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

形式化方法书fsuz02

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: