登录
首页 » Objective-C » NuSMV-2.5.1.tar

NuSMV-2.5.1.tar

于 2010-11-11 发布 文件大小:3704KB
0 279
下载积分: 1 下载次数: 9

代码说明:

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

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 68965
    很炫的抽屉式侧边栏导航效果,精选ios编程学习源码,很好的参考资料。(Drawer type sidebar navigation effect of cool, selection of learning IOS programming source code, a good reference.)
    2013-12-06 11:38:11下载
    积分:1
  • SelfExample
    最近有人问我关于什么时候用self.赋值的问题, 我总结了一下, 发出来给大家参考. 有什么问题请大家斧正.(Recently someone asked me about when to use self. Assignment, I sum up a bit, given to your reference. Have any questions please Fu Zheng.)
    2011-01-25 10:12:05下载
    积分:1
  • 9346346
    二维码扫描应用demo,精选ios编程学习源码,很好的参考资料。(Two dimensional bar code scanning application demo, select learning IOS programming source code, a good reference.)
    2013-12-07 10:22:54下载
    积分:1
  • Iphone_Debug_iTunes
    说明:  iPhone真机调试及如何上传到Apple Application Store平台。(iPhone-device debugging and how to upload to the Apple Application Store platform.)
    2011-02-23 22:13:02下载
    积分:1
  • sy01_simulink
    simulink有一个很大的优点是为用户省去了许多重复的代码编写。(simulink have a great advantage for the user save a lot of repetitive coding.)
    2009-01-19 17:17:01下载
    积分:1
  • DemoForCAAnimation
    动画 uivie 大小变化 uiView的变化(Changes in the size of the animation uivie changes uiView)
    2011-11-12 12:07:10下载
    积分:1
  • 565347
    侧边伸缩导航栏效果,精选ios编程学习源码,很好的参考资料。(The side effect of stretching the navigation bar, select learning IOS programming source code, a good reference.)
    2013-12-07 11:58:01下载
    积分:1
  • smith-application
    史密斯圆图的应用, 包括阻抗匹配,计算方法等(Smith chart applications, including impedance matching, calculation methods)
    2011-05-08 08:23:12下载
    积分:1
  • ios_Chat
    微信功能实现通信机制沟通你我他.在你我他之间架起沟通的桥梁(Micro-channel communication mechanism to achieve functional communication you and me. Between you and me, he acted as bridges)
    2014-02-10 18:46:52下载
    积分:1
  • 3DLuxunNaviDemo
    UINavigationController Push 堆栈动画(The Stack Animation of Push when UINavigationController‘s pushed)
    2015-03-07 20:36:22下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载