haitao: 随便找的一个词,不一定准确 [阅读: 662] 2005-10-24 15:33:44 意思是在形式上能通过类似的证明的,也就是没有遗漏任何情形的 这样作出来的程序,才是真正放心的 很多管理软件的核心逻辑,就是缺少这一步,哪怕是近似的 我的blog:http://szhaitao.blog.hexun.com & http://www.hoolee.com/user/haitao --以上均为泛泛之谈--不尽牛人滚滚来,无边硬伤纷纷现 人在江湖飘(出来混的),哪能不挨刀(总归是要还的) 网络对话,歧义纷生;你以为明白了对方的话,其实呢? 您所在的IP暂时不能使用低版本的QQ,请到:http://im.qq.com/下载安装最新版的QQ,感谢您对QQ的支持和使用