Z

使用Z.规范、细化和证明。这本书是对规范语言$Z$的深入介绍。它主要面向用户;背景理论是——除了自然演绎演算,见下文——只有必要的介绍。对于市场上已有的许多$Z$书籍,一个重要的新颖特性是$Z$与精化演算和数据精化的集成。整个演讲很流畅,有许多精选的例子。在整个作者努力使阅读尽可能有趣。然而,有相当多的小的不明确,不一致和错误(在语义和拼写)。这给人的印象是这本书是匆匆写完的。我觉得这本书最不令人满意的是对自然演绎微积分的广泛而乏味的阐述,这在书中没有进一步使用。相反,大多数证明都被省略了,取而代之的是读者的直觉。这是促进形式规范和推理学科发展的一个条件吗?另一个令人失望的是,在那些提供证据的地方,处理往往相当麻烦。关系代数的许多概念都是在关系代数中被简单地引入的,尽管关系代数的许多概念在这本书中并没有被简单地引用。尽管如此,我认为这本书对那些有一定数学倾向的新手来说是有趣的,值得一读。


zbMATH中的参考文献(引用于 279篇文章 引用,1标准件)

显示279个结果中的1到20个。
按年份排序(引用)

1 2 ... 12 13 14 下一个

  1. 杰克逊,马赛尔;斯托克斯,蒂姆:改写和更新(2021)
  2. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  3. Kahl,Wolfram:教学工具中的计算关系代数证明(2020)
  4. Aida Lahouij;Hamel,Lazhar;Graiet,Mohamed;el Ayeb,Béchir:基于事件B的云复合服务验证方法(2020)
  5. Williams,David M.;Darwish,Salaheddin;Schneider,Steve;Michael,David R.:使用Event-B开发礼品援助系统的立法驱动开发(2020年)
  6. Apt,Krzysztof R.;Olderog,Ernst-Rüdiger:霍尔逻辑五十年(2019)
  7. Lin,Yuhui;Bundy,Alan;Grov,Gudmund;Maclean,Ewen:通过涟漪和校样修补自动化Event-B不变量证明(2019)
  8. Ribeiro,Pedro;Cavalcanti,Ana:通过UTP实现CSP的天使工艺(2019年)
  9. 巴瑟,托比亚斯(编辑);克劳斯,亨宁(编辑);斯托亚诺斯卡,维斯纳(编辑):小型研讨会:同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要(2018年)
  10. Bessai,Jan;Chen,Tzu-Chun;Dudenhefner,Andrej;Düdder,Boris;De'liguoro,Ugo;Rehof,Jakob:基于交叉口类型的混合合成(2018)
  11. 布拉特卡,瓦斯科(编辑);唐尼,罗德尼G(编辑);奈特,茱莉亚F.(编辑);莱姆普,斯特芬(编辑):可计算性理论。2018年1月7日至13日(2018年)研讨会摘要
  12. Joosten,Sebastiaan J.C.:通过图饱和寻找模型(2018)
  13. Joosten,Stef:关系代数作为使用与号编译器的编程语言(2018)
  14. Schwammberger,Maike:证明自治城市交通安全的抽象模型(2018)
  15. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  16. Baake,Michael(编辑);Damanik,David(编辑);Kellendonk,Johannes(编辑);Lenz,Daniel(编辑):数学准晶中的光谱结构和拓扑方法。2017年10月1日至7日(2017年)研讨会摘要
  17. Bjørner,《Dines:清单领域:分析和描述》(2017)
  18. Breuillard,Emmanuel(编辑);Hochman,Michael(编辑);Shmerkin,Pablo(编辑):工作会议:加法组合学、熵和分形几何。2017年10月8日至13日工作会议摘要
  19. Buss,Samuel R.(编辑);Iemhoff,Rosalie(编辑);Kohlenbach,Ulrich(编辑);Rathjen,Michael(编辑):数理逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要
  20. Colvin,Robert J.;Hayes,Ian J.;Meinicke,Larissa A.:为具有并发性的广谱语言设计语义模型(2017)

1 2 ... 12 13 14 下一个