资源列表
[其它资源] clarke_model_cheching
说明:本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。<Turing> 在 2008-10-13 上传 | 大小:898.68kb | 下载:0
[其它资源] dsp2407_d12_test_
说明:一个DSP2407读取PUDID12USB芯片的源码,已经调试通过,程序用C语言编写,注释比较详细,2407的外部中断接到USB的中断输出脚上。<dai> 在 2008-10-13 上传 | 大小:211.49kb | 下载:1
[其它资源] mc-tutorial
说明:这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。<Turing> 在 2008-10-13 上传 | 大小:214.85kb | 下载:0
[其它资源] Prentice.Hall.The.Linux.Programmers.Toolbox.Mar.20
说明:本书为Linux编程工具书,涵盖了Linux程序开发的方方面面,内容深刻,讲解全面,对于一些高级主题如进程间通信等介绍的比较深入,是一本不可多得的Linux开发的高级参考书。<Turing> 在 2008-10-13 上传 | 大小:2.33mb | 下载:0
[其它资源] 2410_BT_loader
说明:s3c2410的启动代码,包括BSP和多个测试程序。用ADS1.2编译。用JTAG下载到Nor或是NAND 进行启动<电子爱好者> 在 2008-10-13 上传 | 大小:744.86kb | 下载:0