×
卡罗尔·摩根（编辑）;特雷弗·维克斯（编辑）

关于精化演算。 （英语） Zbl 0818.68023号

计算和信息技术的形式化方法（FACIT）。柏林：Springer-Verlag。xi，159页（1994）。
关于第二次印刷（1994年）的回顾，请参见兹比尔0808.68030.

引用于1文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
00B15号机组 杂项特定利益物品的收集
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

精化演算;并联系统;无功系统;程序推导

引文：

Zbl 0808.68030号
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}（编辑）和\textit{T.Vickers}（主编），关于精化演算。柏林：施普林格出版社（1994年；Zbl 0818.68023）