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

Static-Analysis-of-Software

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

  • Matlab
    用matlab语言对汽车动力经济性进行仿真(very good)
    2010-05-14 09:22:52下载
    积分:1
  • Information_Theoryandstatistics
    This tutorial is concerned with applications of information theory concepts in statistics. It originated as lectures given by Imre Csisz´ ar at the University of Maryland in 1991 with later additions and corrections by Csisz´ ar and Paul Shields.
    2009-04-08 15:32:36下载
    积分:1
  • ekf
    卡尔曼滤波器可以供给初学者很好的使用,欢迎下载。(Kalman filter will be available to a good use of beginners are welcome to download.)
    2009-12-07 23:16:59下载
    积分:1
  • matlab21
    一部很经典的关于MATLAB的教材,内容很详细,不多说了,自己下载吧!(this is very good book,if you now study MATLAB,you must load it.)
    2009-03-20 09:29:49下载
    积分:1
  • data-of-matlab
    离散小波变换的原理编码实现,从原理实现harr小波变换,可参考matlab中的dwt函数(the code of origin of harr wavelte,similar to the function dwt() in matlab)
    2012-04-29 10:28:12下载
    积分:1
  • The_third_time
    永磁同步电机矢量控制的仿真搭建,基于PID控制以及滑模控制,分数阶PID控制和分数阶滑模控制等(Permanent magnet synchronous motor vector control simulation, based on the PID control and sliding mode control, fractional order PID control and the fractional order sliding mode control, etc )
    2021-05-08 20:08:35下载
    积分:1
  • blind-source-separation-using-fast-ica-master
    说明:  利用盲源分离分离混合信号,此算法为FastICA,运行稳定(Separation of mixed signals by blind source separation algorithm)
    2020-11-02 14:46:33下载
    积分:1
  • okada_matlab
    okada模型是地震、地壳形变、断层等反演中常用的且重要的反演模型。程序包基于MATLAB开发,功能齐全、有数据。(okada model of an earthquake, crustal deformation, fault and other commonly used and important inversion of the inversion model. Package based on MATLAB development, full-featured, with the data.)
    2021-04-09 21:38:59下载
    积分:1
  • ditfft
    说明:  用matlab编写的fft快速傅立叶变换及逆变换函数,其中flip1是供ditfft函数调用的倒叙子函数。(using Matlab fft prepared by the fast Fourier transform and inverse transform function, which is flip1 ditfft function call for the Warrior unreachable.)
    2005-11-18 10:43:35下载
    积分:1
  • BPSK_Modulation
    This Project is basic explanation about BPSK Design in Simulink, How the constellation diagram has been obtained from the basic design.
    2012-05-03 18:26:07下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载