This paper describes an approach for verifying programs in the presence of data abstraction and information hiding,which are key features of modern program ming languages with objects and modules.The paper focuses on the property o modular soun

本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上，以及程序是如何执行的，读者能够更好的理解程序的行为为什么是这样的，以及效率低下是如何造成的。粗略来看，计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而通过程序员的视角，读者可以清晰地明白学习计算机系统的内部工作原理会对他们今后作为计算机科学研究者和工程师的工作有进一步的帮助。它还有助于为进一步学习计算机体系结构、操作系统、编译器和网络互连做好准备。 　　本书的主要论题包括：数据表示、C程序的机

C语言程序设计现代方法这本书在讲关于C语言开发方面很实用，本书从基础语法讲起，有错误如何处理、异常处理，库函数等介绍。记住：此书不同于一般的C程序设计。并且本书在开始就介绍了C语言和C++的兼容性，因此对C++的后续学习有很大帮助。并且本书中对常见的和容易出错的地方做出了符号特别提示。在内容上也对C语言的开发如何具有很强可移植性做了讲解。在压缩文件中附带有本书的源代码。-The C Programming Language modern methods of the introduction o

This paper presents a novel algorithm of hiding secret messages by applying mathematical lemmas and information theory. The proposed algorithm can hide more information with acceptable embedded rate and achieves requirements of information hi