开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
PokerTop
文件大小： unknow
源码售价： 5 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：A poker system build verified with formal methods and tools (BONc, JML ,ESC/JAVA2)
A poker system in order to sharpen my coding skills and 
quality of code with tools from kindsoftware.com.

部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。