请问这是基于什么原理?记得以前学程序正确性原理的时候,一段10多行的C代码,用了整整两块大黑板。

- weary (疲惫) at 2011-12-06 15:34:07 (y1760049)



   话题      言潭阁首页      本页网址:http://yantange.com/forum/showpost.php?id=1760049   在新窗口打开