English
Software for Dependable Systems: Sufficient Evidence?
上传用户：zhhbff521
上传日期：2024-10-25
文件大小：
905k
资源说明：美国顶级权威专家们对各种软件可信技术作出评价。本书由美国国家科学院出版社于2007年出版。
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
-
- 西安电子科技大学信号与线性系统讲义1.1 信号 1.1.1 信号的分类 信号的分类方法很多，可以从不同的角度对 ...
- 200组精彩网页设计模版15Dreamweaver8网页设计模板，200组精彩网页设计模版15（包含10组），模板所用元素包含 ...
- 六级考试425通关讲义大学英语六级考试425分通关讲义，新东方资源，绝对经典，而且内容详尽。抱你英语六级 ...
- ArcIMS轻松入门.pdfArcIMS轻松入门.pdf清晰版.非常实用
- 电子电路百科全书 对电路有兴趣的通知们注意了电子电路百科全书 pdg格式 ,资源不大,仅供分享,内涵各种电路介绍,十分有用. ...
- 信号与系统重点综述与习题详解(刘泉)信号与系统重点综述与习题详解(刘泉) 电气与自动化的同学可以更好的学习 ...
- 2008年下班年系统分析师试卷软件资格与水平考试2008年下半年系统分析师试卷
- 200组精彩网页设计模版14Dreamweaver8网页设计模板，200组精彩网页设计模版14（包含10组），模板所用元素包含 ...
- 16.薄膜光学——理论与实践尹树百 薄膜光学——理论与实践尹树百一本从事镀膜工作的参考书 ...
- 电机与拖动基础电子教案电机与拖动基础电子教案（顾绳谷 第四版上册）
-
- 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全面的介绍了串口通信的知识，通过实例介绍了如何编程实现串口通信程序 ...
