网站首页

NuSMV-2.5.1.tar

于 2010-11-11 发布文件大小:3704KB

 0  215

下载积分: 1 下载次数: 9

我要下载

代码说明：

这是模型检测的一个最新版本，希望对大家有所帮助。(This is one of the latest version of model checking, we want to help.)

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

ImageGrabberAsync
a image for async show

2011-11-13 18:37:14下载

积分：1
RS(255-223)
用matlab实现RS（255,223）的编码，叫噪声，译码，并求出纠错个数，可以正确运行。(RS (255,223) coding using matlab, called noise, decoding, and calculated the number of error corrections, you can run correctly.)

2012-11-07 00:04:26下载

积分：1
46845435
类似于Pinterest的瀑布墙图片展示demo，精选ios编程学习源码，很好的参考资料。(Similar to the Pinterest waterfall wall pictures demo, select learning IOS programming source code, a good reference.)

2013-12-06 10:28:53下载

积分：1
extract
code for object extraction to exatrct name plate

2010-07-22 17:28:02下载

积分：1
Conversor-Digital-Analogo
conversor digitalpara relojes de presision

2014-01-25 12:43:24下载

积分：1
SDWebImage_10803
及时通信，及时通信，及时通信，及时通信，及时通信，(Timely communication, timely communication, timely communication, timely communication, timely communication,)

2013-12-23 15:53:39下载

积分：1
TableFlipDemo
还是一个uitableview 变化的demo 大家可以参考一下(Uitableview change or a demo we can reference)

2011-11-12 12:11:09下载

积分：1
DSP_FFT
产生两不迥频率的信号，并对两信号作复数FFT变换，找出频率为50Hz的信号对其进行能量计算(Two distant signal is not generated frequency, and two signals for complex FFT transform to identify the frequency of 50Hz signal to calculate its energy)

2013-12-01 10:35:35下载

积分：1
Objective_C-basic
object-c 基本语法说明- 利用在xcode上(object-c basic grammer- use xcode tool)

2014-08-19 14:57:19下载

积分：1
cpp-objc-en.pdf
A good guideline for objective c programmers.

2014-08-21 13:47:41下载

积分：1

696518资源总数
106010会员总数
4今日下载

NuSMV-2.5.1.tar

0 个回复

热门标签

热门下载