罗伯特·戈德布拉特 公理化计算机编程的逻辑。 （英语） Zbl 0474.68045号 计算机科学讲义, 130. 柏林-海德堡-纽约：斯普林格-弗拉格。十一、 304 p.32.80马克；$14.60 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于41文件 MSC公司： 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论中的一般主题 68-02 与计算机科学有关的研究博览会（专著、调查文章） 03B45号 模态逻辑（包括规范逻辑） 关键词：while程序;程序的正确性;程序逻辑;程序设计语言语义的证明理论;迭代程序推理的无限推理规则;语义完整性;典型模型构造;模态逻辑 引文：Zbl 0179.231号 PDF格式BibTeX公司 XML格式