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

Static-Analysis-of-Software

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

  • imm-kf
    Interactinf Multiple Model, Kalman Filter, Simulink
    2010-06-05 13:31:09下载
    积分:1
  • Comprehensive_Program_Design_Communication_Theory_
    matlab通信原理综合程序设计教程Comprehensive Program Design Communication Theory matlab tutorial(Comprehensive programming matlab Communication Theory Course Comprehensive Program Design Communication Theory matlab tutorial)
    2010-08-02 10:21:36下载
    积分:1
  • MATLAB
    这个是逐步搜索法的MATLAB主程序,牛顿法,不动点迭代法(This is a step by step search method MATLAB main program, compiled his free time, by running the verification.)
    2009-12-01 21:09:14下载
    积分:1
  • BTC
    用MATLAB实现对图像图像的处理,图像的BTC编码。(MATLAB implementation of the image by image processing, image of the BTC coding.)
    2011-05-23 17:26:57下载
    积分:1
  • weight
    此段代买可以用来实现层次分析法,通过输入参数、更改参数,利用循环自动检验是否符合层次分析法的要求(solve the AHP problem)
    2011-06-07 10:12:18下载
    积分:1
  • ComputerVision-GradedEx1-2014
    We will add capabilities with coming releases based on requirements and feedback
    2015-02-19 21:20:14下载
    积分:1
  • LTE-SUI-CHANNEL
    LTE with SUI channel
    2013-12-11 18:57:21下载
    积分:1
  • Bgaoojietongja
    一种基于高阶统计量的tdoaa估计方法,希望对您有所帮助! (Estimation method based on higher-order statistics tdoaa, I hope for your help!)
    2012-06-12 13:15:53下载
    积分:1
  • 001
    用于数学建模解决最短路径或者类似的优化问题(Mathematical modeling is used to solve the shortest path or similar optimization problems)
    2013-07-31 11:29:46下载
    积分:1
  • demo
    提取ERP,从matlab的数据文件中提取出脑电数据,并通过输入的信噪比进行滤波(abstract ERP)
    2012-09-01 19:28:05下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载