Z

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


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

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

1 2 ... 12 13 14 下一个

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

1 2 ... 12 13 14 下一个