English
资源说明：model checking经典书籍 适合新手学习，非常深入浅出，强烈推荐！计算机学习必备
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
-
- 考研英语考试中心8套模拟题考研英语考试中心8套模拟题.考研英语考试中心8套模拟题
- 考研英语词汇 词根+联想记忆 新东方文本考研英语词汇 词根+联想记忆 新东方文本
- 通信原理》习题参考答案通信原理》习题参考答案 第七章通信原理第五版
- 计算机故障速查手册.pdf计算机故障速查手册能帮助你轻松搞定你电脑方面的一般的小问题，而不需请教他人，让自 ...
- 《通信原理》习题参考答案《通信原理》习题参考答案 第五章通信原理第五版
- 《通信原理》习题参考答案《通信原理》习题参考答案 每一题的解题步骤
- 批处理详细教程批处理详细教程关于批处理详细教程，超强………………………………
- 学生成绩管理系统 开发计划书本系统开发的目标是为了学校更好的对学生的成绩进行管理，在这管理中受益者有两类人： ...
- 坐标系转换公式大全.pdf坐标系转换公式大全 本文译自国际石油技术软件开放公司（ http://www.posc.org ） 文 ...
- 学生成绩管理系统其它设计方案及比较我们总结出不同设计风格对软件系统特性的支持程度。可以得出的结论是：不同的软件设计 ...
-
- S7-PLCSIMV5.4.rar西门子仿真编程软件S7-PLCSIM V5.4，用于S7-300/400系列PLC程序的仿真 ...
- I2C.rarI2C最经典的技术文档集合，包括了总线规范、协议、设计应用。 ...
- ARM7TDMI_S(Rev4)技术参考手册.rararm7tdmi内核的技术参考资料 关于 ARM7TDMI-S 处理器 ARM7TDMI-S 结构 ARM7TDMI-S 模 ...
- linux内核源代码情景分析(上下目录全).rar经过本人加全目录的《LINUX内核源代码情景分析(浙大出版）》上下册，毛德操、胡希明著 ...
- 标准C语言实用全书_10440499.rar标准C语言实用全书，对C语言的复杂性和核心特征进行了详细的论述。 ...
- SystemView.rarSystemView系统设计及仿真入门与应用
- Tcl_train.rartcl脚本语言教程（pdf格式）。适合入门学习使用。
- smallR_TOS51_BOOK.rar本书：是陈明计先生写的SMALL RTOS51。格式为PDF。该书详细分析了RTOS51的编写过程。 ...
- 华为技术手册.rar华为工程师手册，在软硬件方面都有开发规范说明，是一份相当好的开发参考手册 ...
- Rs232串口通信大全.rar全面的介绍了串口通信的知识，通过实例介绍了如何编程实现串口通信程序 ...
