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

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 173
下载积分: 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 个回复

  • FM
    说明:  FM调制与解调(MATLAB程序与图) FM也是一种调制方式,即使在短波范围内的27-30MHz之间,做为业余电台、太空、人造卫星通讯应用的波段,也有采用调频(FM)方式的。(FM modulation and demodulation (MATLAB program and map) FM is a modulation, even in the short wavelength range of between 27-30MHz, as amateur radio, space, satellite communications band applications, but also by frequency modulation (FM) way.)
    2011-06-11 22:36:05下载
    积分:1
  • Radar-signal-processing
    雷达信号处理的目的是消除不需要的信号及干扰,提取和加强由目标所产生的回波信号。( The purpose of the radar signal processing is to eliminate unwanted signals and interference, extraction, and the strengthening of the echo signal generated by the target.)
    2012-05-11 13:40:51下载
    积分:1
  • matlabGUI
    非常好的额matlab学习课件,是GUI的哦,哈哈,希望可以对你有帮助(Very good amount matlab learning courseware, the GUI Oh, ha ha, I hope you can help)
    2013-09-02 15:02:31下载
    积分:1
  • scee
    L énergie éolienne a connu une très forte croissance au cours de la dernière décennie grace aux avantages qu elle présente pour l envi- ronnement, aux percées technologiques connexes et aux programmes d encouragement gouvernementaux. Le présent arti- cle fait état des récents développements concernant les systèmes de conversion de l énergie éolienne ainsi que des avantages sociaux et environnementaux qui y sont associés. Il comporte également une analyse des problèmes liés à l interconnexion des ressources distri- buées, y compris l énergie éolienne et l énergie électrique. On y présente aussi les progrès accomplis par le Canada et le groupe IEEE en ce qui concerne l élaboration des normes d intercon- nexion ainsi que les derniers programmes de R.-D. dans le domaine des systèmes de conversion de l énergie éolienn
    2014-02-13 18:26:02下载
    积分:1
  • matlab1
    matlab应用程序百例之图形应用篇,适合初学者参考(matlab application, graphics application 100 cases of articles, suitable for beginners reference)
    2010-03-09 19:47:12下载
    积分:1
  • wilcoxon-signed-rank-test
    程序为威尔逊秩和检验程序,用于进行秩和检验计算的人员参考使用。(The procedure for the Wilson rank sum test procedure is used by the personnel for the rank sum test calculation.)
    2017-04-05 23:10:03下载
    积分:1
  • umts
    thes file contain simulation program code for matlab simulation program whish simulate the tcp protocol and access network
    2010-06-29 12:03:56下载
    积分:1
  • MatlabGUI_Harris
    Harris Corner Detector GUI
    2010-11-20 00:33:51下载
    积分:1
  • renyizhenliechangguiboshuxingcheng
    任意方向的波束图,常规的延时求和方法。包括线列阵,圆阵,矩形阵(The arbitrary direction of the beam pattern, a conventional delay summation method. Including linear array, circular array, rectangular array)
    2012-09-19 16:42:55下载
    积分:1
  • IncrementalProtocolSymetricNetwork
    a system containing one source, one relay and one destination, the file describe th incremental protocol with Decode and forward.
    2010-11-22 01:43:07下载
    积分:1
  • 696518资源总数
  • 105885会员总数
  • 31今日下载