论文部分内容阅读
程序正确性验证在国内外文献[4,11—18]上,讨论非常热烈。但这些文献上谈到的技术哪些是可行的呢?我们做了各项技术的可行性分析,认识到如下技术是可行的。
程序正确性的验证及调试方法
【摘 要】
：
程序正确性验证在国内外文献[4,11—18]上,讨论非常热烈。但这些文献上谈到的技术哪些是可行的呢?我们做了各项技术的可行性分析,认识到如下技术是可行的。
【出 处】
：
计算机工程与应用
【发表日期】
：
1983年4期
其他文献
演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了
随着全球经济一体化的发展，中国的医药企业既面临着前所未有的机通也遇到了更为严峻的挑战。因此，加强医药企业成本管理成为一个十分紧迫的问题。因此，本文根据医药企业的环境变
任何一个企业管理者，都渴望找到正确的员工管理模式。由此，才会出现各种名目种类繁多的公司管理制度和章程。然而结果却往往收效甚微，甚至适得其反。结合多年的企业管理经验和多
我非常荣幸告诉你们，今年9月份，美国《新闻周刊》中文版上的封面及2007年全球最具社会责任的企业排行榜，阿斯利康位例全球第一。我认为社会责任说易行难，必须要身体立行。阿斯利
随着社会的不断发展，国民生活水平的不断提升，人们对于各项生活的需求也日益增长。各企业要想与世同步走在行业的前沿，更好的占领市场，只有不断的提升企业产品的品质及服务。
以实施“教育模式的全面转型”促进“人才质量的全面提升”，成为我国高职教育未来发展的重要战略选择。适应市场需求，构建动态调整的专业体系与课程体系；构建“产学研结合”的运
目的 观察蒲地蓝消炎口服液联合更昔洛韦治疗流行性腮腺炎的效果。方法 选取2016年1月至2017年5月清丰县人民医院收治的82例流行性腮腺炎患儿,将其随机分为对照组与观察组,各
电子商务环境下可供企业选择的物流模式有自营模式、物流联盟模式、第三方模式、物流一体化模式等，通过对各种模式的优缺点分析，为企业选择适合自身发展需要的模式提出参考意见
做为市场经济通用商业语言，会计准则的国际趋同化是市场经济发展的必然要求。我国新会计准则体现了与国际准则的接轨，也增强了针对性。主要在公允价值、资产减值准备、债务重组