卡罗尔·摩根(编辑);特雷弗·维克斯(编辑) 关于精化演算。 (英语) Zbl 0818.68023号 计算和信息技术的形式化方法(FACIT)。柏林:施普林格出版社。xi,159页(1994)。 关于第二次印刷(1994年)的回顾,请参见Zbl 0808.68030号. 引用于1文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 00年1月15日 杂项特定利益物品的收集 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:精化微积分;并联系统;无功系统;程序推导 引文:Zbl 0808.68030号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}(编辑)和\textit{T.Vickers}(主编),关于精化演算。柏林:Springer-Verlag(1994;Zbl 0818.68023)