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语言的开发如何具有很强可移植性做了讲解。在压缩文件中附带有本书的源代码。-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