登录
首页 » MultiPlatform » Static-Analysis-of-Software

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 214
下载积分: 1 下载次数: 2

代码说明:

  Static Analysis of Software The Abstract Interpretation Edited by Jean-Louis Boulanger 1. Computer software Testing. 2. Debugging in computer science. 3. Computer software Quality control.

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

发表评论

0 个回复

  • mimorayleighZF
    Mimo with Rayleigh channel and Zero Forcing
    2013-12-23 12:26:29下载
    积分:1
  • car
    基于模糊控制的自动泊车matlab仿真,界面和代码以及fis(Based on the fuzzy control of automatic parking matlab simulation)
    2021-03-24 15:49:14下载
    积分:1
  • mlpoto
    mathlab camera gui to detect camera in mathlab
    2011-06-05 04:14:29下载
    积分:1
  • synchronous
    Synchronous motor simulation for performing modern control and other controllers
    2014-08-16 22:37:37下载
    积分:1
  • garada
    STK软件平台对garada卫星系统的仿真,可见性,覆盖面积和经历时间分析(simulink of satellite system by STK )
    2013-09-03 10:35:42下载
    积分:1
  • gear3d
    齿轮的一个构建文件,matlab真的很厉害哈,我要好好学 恩恩(A build file gear, matlab really very powerful Ha, I must learn Blessings)
    2014-01-07 09:19:42下载
    积分:1
  • LFPG
    长周期光栅的透射谱MATLAB模拟算法基于光栅的耦合理论。(Long-period grating transmission spectrum MATLAB simulation algorithm is based on the grating coupling theory.)
    2021-04-05 15:19:03下载
    积分:1
  • lcs
    lcs码系统仿真,matlab7.0编译通过,通过仿真可以了解不同参数下,信号衰耗程度(lcs Code System Simulation, matlab7.0 compiler is passed, through the simulation can understand the different parameters, the degree of signal attenuation)
    2007-10-05 12:47:49下载
    积分:1
  • LTE_System_Level_1.4_r570
    To solve this instance of the decision problem we must determine whether there is a truth value (TRUE or FALSE) we can assign to each of the variables (x1 through x4) such that the entire expression is TRUE. In this instance, there is such an assignment (x1 = TRUE,x2 = TRUE, x3=TRUE, x4=TRUE), so the answer to this instance is YES. This is one of many possible assignments, with for instance, any set of assignments including x1 = TRUE being sufficient. If there were no such assignment(s), the answer would be NO.
    2012-04-23 22:00:12下载
    积分:1
  • sift-0.9.14.tar
    sift的matlab代码,是最新的,效果不错,其中有很多详细说明,可以试试。(sift the matlab code, is the latest, well, there are a lot of detail, you can try.)
    2008-05-06 09:04:32下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载