hustkey

struts2的一个简单登陆例子

struts2的一个简单登陆例子,用myeclipse6实现

interval analysis methods区间分析

区间运算的数学基础,代码的形式化验证常用

llvm program manual

llvm程序员手册，详细介绍llvm的开发，主要是api的介绍

桂林电子科技大学HTML网页设计实训

桂林电子科技大学《HTML网页设计》实训

桂林电子科技大学j2ee实验指导书

桂林电子科技大学信息科技学院与应用科技学院的《j2ee实验指导书》

模型检测的一个ppt

模型检测的一个ppt，主要是讲ltl转换为自动机的

软件验证的e文书Functional Verification Coverage Measurement and Analysis

软件验证的e文书，《Functional Verification Coverage Measurement and Analysis》

计算机专业常用算法设计方法

算法:迭代法\穷举搜索法\递推法\动态规划法等