Z

使用Z.规范、细化和证明。这本书是对规范语言$Z $的深入介绍。它主要是针对用户的，背景理论是——除了自然演绎演算之外，见下文——仅在必要时介绍。关于已经上市的许多$Z$图书，一个显著的新特征是将$Z$与精化演算和数据精化相结合。整个演示文稿流畅，有许多很好的例子。在整个作者努力使阅读尽可能有趣。然而，有许多小的不一致性、不一致性和错误（在语义和拼写方面）。这给人的印象是这本书匆匆忙忙地完成了。我对这本书最不满意的是对自然演绎演算的广泛而乏味的阐述，这在书中没有被进一步使用。相反，大多数证据被省略，取而代之的是对读者直觉的呼吁。这是促进正式规范和推理的学科吗？另一个令人失望的是，在那些提供证据的地方，治疗常常是相当麻烦的。特别地，虽然从关系演算中引入了所有必要的概念，但是没有提到它的代数性质；许多关系概念的证明可以比关系式代数更简单和优雅地给出，而不是在书中使用的逐点方式。不过，我认为这本书是有趣的，值得阅读的新来的$Z元与一定数量的数学倾向。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（274篇）1标准条款）

显示结果1至20的274。
按年份排序（引文）
  1. 福斯特，西蒙；卡瓦尔坎蒂，阿纳河；坎纳姆，塞缪尔；伍德考克，吉姆；泽达，弗兰克：反应设计合同的统一理论（2020）
  2. APT，Krzysztof R.；奥德罗格，厄恩斯特罗伊迪格尔：霍尔逻辑五十年（2019）
  3. 林，Yuhui；邦迪，艾伦；Grov，Gudmund；麦克莱恩，Ewen：通过波动和证明修补自动实现事件B不变证明（2019）
  4. 里贝罗，佩德罗；卡瓦尔坎蒂，阿纳河：通过UTP的CSP天使过程（2019）
  5. Barthel，托拜厄斯（ED）；克劳斯，Henning（ED）；Stayjaska，VESNA（ED）：微型研讨会：同伦理论和表示理论中的色度现象和对偶性。3月4日举行的小型研讨会摘要（10, 2018）（2018）
  6. Bessai，简；陈，子春；杜登海弗纳，Andrej；D·德，鲍里斯；德里古罗，Ugo；Rehof，雅可布：基于交叉类型的混合蛋白合成（2018）
  7. BrATKA，VASCO（ED）；道尼，Rodney G.（ED）；奈特，Julia F.（ED）；Lempp，斯特芬（ED）：可计算性理论。1月7日举行的研讨会摘要（13, 2018）（2018）
  8. 乔斯滕，Sebastiaan J. C.：通过图饱和度寻找模型（2018）
  9. 乔斯滕，史蒂夫：关系代数作为编程语言的使用和编译（2018）
  10. Schwammberger，麦克：一种用于证明城市自主交通安全的抽象模型（2018）
  11. Arrnt，沃尔夫冈；奇门托，Jes s Mauricio；Posit，Gordon J.；Schneider，Gerardo：验证数据和面向控制的属性，结合静态和运行时验证：理论和工具（2017）
  12. Baake，米迦勒（ED）；Damanik，戴维（ED）；KelEndok，Johannes（ED）；楞次，丹尼尔（ED）：数学准晶中的光谱结构和拓扑方法。10月1日举行的研讨会摘要（7, 2017）（2017）
  13. B.J.RNER，DIEN:显式域：分析和描述（2017）
  14. Breuillard，艾曼纽（ED）；霍克曼，米迦勒（ED）；Shmerkin，巴勃罗（ED）：工作会议：加性组合数学，熵，和分形几何。10月8日举行的工作会议摘要（13, 2017）（2017）
  15. 巴斯，Samuel R.（ED）；Iemhoff，Rosalie（ED）；科伦巴赫，Ulrich（ED）；Rathjen，米迦勒（ED）：数学逻辑学：证明理论，建构数学。11月5日举行的研讨会摘要（11, 2017）（2017）
  16. 科尔文，Robert J.；海因斯，Ian J.；迈尼克，Larissa A.：设计一个具有并发性的广谱语言的语义模型（2017）
  17. Jifeng，他：链接编程理论的新路线图（2017）
  18. 乔斯滕，史蒂夫：关系代数与AppSand的软件开发（2017）
  19. 里贝罗，佩德罗；卡瓦尔坎蒂，阿纳河；伍德考克，吉姆：一种逐步联系理论的方法（2017）
  20. 史米斯，格雷姆；冬季，克尔斯滕：相关痕迹细化与线性化（2017）