资源列表
[其它资源] bicycle_meter
说明:自行车里程表,采用c语言编制,51单片机系统,能测量显示自行车的里程。<ares> 在 2008-10-13 上传 | 大小:33.56kb | 下载:0
[其它资源] clarke_model_cheching
说明:本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。<Turing> 在 2008-10-13 上传 | 大小:898.68kb | 下载:0
[其它资源] 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