查看会员资料
用 户 名：J****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
Isabelle98.tar
- 用做定理证明、推理。可以扩展，比如与Z specification结合使用，做后期的verification。这个软件是软件工程学中formal method的一个很好的代表。-Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a lo