houjinc

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

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

Unix环境高级编程

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

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

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

C模板中文版及源代码

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