The correctness of the p rogram of C++ is proved by means of HOARE Logic, and some new results are obtained.
英
美
释义
讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.;如类的正确性以及软件系统的正确性
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载