博伊尔,R.S。(编辑);J.Strother摩尔(编辑) [Dijkstra,E.W。;R.M.伯斯托尔。;J.A.戈根。;Z.曼纳。;A.普努利。] 计算机科学中的正确性问题。 (英语) Zbl 0476.68009号 计算机科学国际系列讲座。伦敦等:学术出版社,Harcourt Brace Jovanovich出版社的子公司。十三、 279页14.20英镑;$29.50 (1981). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于7文件 MSC公司: 68-02 与计算机科学有关的研究展览会(专著、调查文章) 60年第68季度 规范和验证(程序逻辑、模型检查等) 68号01 软件理论的一般主题 关键词:程序正确性;验证条件生成器;FORTRAN公司;计算逻辑;程序规范;并发程序;时序逻辑;元理论 引文:Zbl 0451.68001号;Zbl 0448.68020号 PDF格式BibTeX公司 XML格式