- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.itcoo.cn/forum.php?mod=viewthread&tid=39&page=1&extra=#pid40
- 软件文档: http://www.itcoo.cn/forum.php?gid=68
软件介绍
一.示例:
二.运行环境:jdk1.6 mysql5+ tomcat6.0
三.本地安装使用步骤:
1.源码下载:http://yunpan.cn/Qbqcx7asAj7n9
2.数据库安装:导入WebRoot->sql下的3.sql数据库文件,数据完整
3.项目导入到Eclipse,修改数据库链接(文件在:src->config->jdbc.properties)
4.启动tomcat
5.直接输入你的路径即可访问
四.服务器安装使用步骤:请确认运行环境
1.源码下载:http://yunpan.cn/Qbqcx7asAj7n9
2.数据库安装:导入WebRoot->sql下的3.sql数据库文件,数据完整
3.启动tomcat
4.直接输入你的路径即可访问
二.运行环境:jdk1.6 mysql5+ tomcat6.0
三.本地安装使用步骤:
1.源码下载:http://yunpan.cn/Qbqcx7asAj7n9
2.数据库安装:导入WebRoot->sql下的3.sql数据库文件,数据完整
3.项目导入到Eclipse,修改数据库链接(文件在:src->config->jdbc.properties)
4.启动tomcat
5.直接输入你的路径即可访问
四.服务器安装使用步骤:请确认运行环境
1.源码下载:http://yunpan.cn/Qbqcx7asAj7n9
2.数据库安装:导入WebRoot->sql下的3.sql数据库文件,数据完整
3.启动tomcat
4.直接输入你的路径即可访问
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
