The correctness of the p rogram of C++ is proved by means of HOARE Logic, and some new results are obtained.
英
美
讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.;如类的正确性以及软件系统的正确性
目录
查词历史
英 汉