模型在计算机科学中的作用

摘要：

@@ 模型在计算机中的作用问题似乎比通常所承认的要普遍得多,即使对该学科中的资深学者来说也是如此.在其重要研究成果《计算机中的正确性之局限》(1985/1995年)一文中,B.C.史密斯讲到了程序与其规范……

机标关键词：模型、计算机、作用问题、研究成果、史密斯、学者、学科、规范、程序

分类号：TS2;F04

在线出版日期：2007-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：59-68