没有合适的资源?快使用搜索试试~ 我知道了~
Rigorous Software Development - An Introduction to Program Verif...
需积分: 9 7 下载量 102 浏览量
2017-11-07
10:31:19
上传
评论
收藏 2.95MB PDF 举报
温馨提示
Rigorous Software Development - An Introduction to Program Verification 英文版 非扫描版 高清文字带图 By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
资源推荐
资源评论




























资源评论


Vdeathless
- 粉丝: 0
上传资源 快速赚钱
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助


最新资源
- 集成 Apollo 配置中心实现数据库、MongoDB、Redis 动态切换及 MyBatis 与 Redis 缓存集成
- 轻量型文件数据采集抓取与日志信息汇总工具
- 使用DriveMonitor软件调试MM440变频器
- 使用starter调试MM440
- 基于Python语言的Spark数据处理分析案例集锦(PySpark)
- CCKS’2021 研究:SGSum- 面向体育赛事摘要的人工标注数据集介绍
- PHP与MySQL动态网站设计实战指南
- 基于 MapReduce 的大数据采集清洗处理及离线分析完整案例
- 《Rust并发编程:解锁高性能系统的密钥》,详细介绍Rust并发编程的基础知识及其在高性能系统开发中的应用
- 轻量型文件数据采集抓取及日志信息汇总工具
- 使用 YOLO 检测废弃行李 该项目旨在通过使用实时视频源和 YOLO(You Only Look Once)物体检测算法自动检测无人看管或遗弃的行李来提高公共交通安全
- 用户为中心的设计:系统设计师必读
- 大数据采集、清洗、处理:使用MapReduce进行离线数据分析完整案例
- 3089048582变压器测试仪 快速操作指南(第一版).pdf
- HDFS 集群之间的数据相互交换方式
- easy prism - 安卓平台便捷好用的埋点数据收集中间件
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈



安全验证
文档复制为VIP权益,开通VIP直接复制
