程序验证和规范的形式方法.pdf 程序验证和规范是计算机科学中比较活跃的研究领域．形式化软件开发方法不仅可有效地指导开发软件系统的实践，而且对提高软件系统的可靠性和可维护性也具有十分重要的作用，本书全面地介绍了程序验证的理论、规范及有关的方法，详尽地阐述了有关的验证技术细节． 本书可作为程序设计方 叁号仓库 2022年07月16日 0 点赞 0 评论 7434 浏览
