Model Checking经典书籍,如果做形式化验证的话属于必读系列

含有20个资源，带PDF绿色版阅读。绝对真实，很全面

外文版的一阶逻辑经典书籍(First-Order-Logic)，不可多得的好书！

经典书籍：coso框架下的内部控制 经典书籍：coso框架下的内部控制

包内包含：嵌入式网络那些事儿--LwIP协议深度剖析与实战演练；LwIP协议栈的设计与实现_中文译稿；LwIP协议栈源码详解；STM32F4 LWIP开发手册

振动力学_第1版_倪振华_西安交大出版_1989 经典的振动力学书籍

压缩包合集，内含： Advanced C++(中文版).pdf C++Primer第四版中英文对照.chm C++学习.txt C++沉思录(中文).pdf C++语言的设计和演化.pdf Effective+C++：改善程序技术与设计思维的50个 Exceptional C++(中文版).pdf More Effective C++(中文版).侯捷.pdf More Exceptional C++中文版.pdf stl.pdf Thinking in C++ 2nd volume1.pdf 深度探索C++对象模型.pdf

关于R语言学习的经典书籍

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Computability and Logic 5th Edition；Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions；Handbook of Philosophical Logic Volume 4；A first course in logic；计算理论简明纲要 (v1.1)