查看会员资料
用 户 名：张***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
SRCRR160
- This paper describes an approach for verifying programs in the presence of data abstraction and information hiding,which are key features of modern program ming languages with objects and modules.The paper focuses on the property o modular soun