elevator NuSMV 建模 模型检测 电梯
资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。
extjs教务系统
界面美观，代码可读性高。且是近期创作可用性高。对于初学者有很大的帮助。
HTML5+CSS3在触屏网站上的实践
一个讲述式ppt,有兴趣可以看看啊，关于html5和触屏之间的关系。。
visual studio 2010 入门教程
这不是教你c++，而是教你如何使用visual studio 2010 这个开发平台。
RSS订阅