image
houjinc

这家伙很懒，什么也没写

Ta上传的资源(0)个

Model Checking模型检查Edmund M.Clarke经典书籍

Clarke_E.M.,_Grumberg_O.,_Peled_D.A._Model_checking_(2000)(en)(314s).文件较小，非常清晰

其他 48 0 PDF 2019-07-06 07:07:17

Unix环境高级编程

学习Linux的入门篇！Linux编程的经典书籍之一.

Linux 18 0 rar 2019-05-28 09:05:24

python脚本显示被恶意隐藏的文件夹

批量显示被恶意隐藏的的文件夹，用py2exe打包为exe文件可以在无python环境的系统中运行。

Python 29 0 RAR 2019-05-15 22:05:34

C模板中文版及源代码

C++模板中文版及源代码，非常经典的书籍。

C++  14 0 RAR 2019-01-09 18:01:55