大卫·哈雷 一阶动态逻辑。 （英语） Zbl 0403.03024号 计算机科学课堂讲稿. 68. 柏林-海德堡-纽约：斯普林格-弗拉格。133 p.18.00德国马克；$9.90 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于12评论引用于114文件 MSC公司： 03B60号 其他非经典逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 68瓦99 计算机科学中的算法 03B45号 模态逻辑（包括规范逻辑） 第68季度第65季度 抽象数据类型；代数规范 68号01 软件理论的一般主题 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：一阶动态逻辑;重新调整程序;正确性;程序的等价性和确定性;递归程序;流程图;语义学;公理化 PDF格式BibTeX公司 XML格式