Z

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


zbMATH中的参考文献(参考文献279条,1标准件)

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

1 2 ... 12 13 14 下一个

  1. 马克西米利亚诺;Rossi,Gianfranco:Bell LaPadula安全属性的自动证明(2021年)
  2. 杰克逊,马赛尔;斯托克斯,蒂姆:覆盖和更新(2021)
  3. 福斯特,西蒙;安娜,卡瓦尔康蒂;加纳姆,塞缪尔;伍德考克,吉姆;Zeyda,Frank:反应式设计合同的统一理论(2020)
  4. Kahl,Wolfram:教学工具中的计算关系代数证明(2020)
  5. 阿依达拉合伊;哈默勒,拉扎尔;格雷特,穆罕默德;el Ayeb,Béchir:基于事件B的云复合服务验证方法(2020)
  6. 阿普特,Krzysztof R。;奥尔德罗,恩斯特-吕迪格:霍尔逻辑的五十年(2019)
  7. 林玉辉;艾伦·邦迪;格罗夫,古德蒙德;Maclean,Ewen:通过波纹和校样修补自动化Event-B不变性证明(2019)
  8. 里贝罗,佩德罗;安娜州卡瓦尔坎蒂:通过UTP实现CSP的天使工艺(2019年)
  9. 巴瑟,托比亚斯(编辑);克莱宁(海内德);韦斯纳,斯托亚诺斯卡(编辑):小型研讨会:同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要(2018年)
  10. 贝赛,一月;陈子春;杜登赫夫纳,安德烈;杜德尔,鲍里斯;德利古罗,乌戈;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. 阿伦特,沃尔夫冈;奇门托,耶斯·莫里西奥;佩斯,戈登J。;Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017)
  16. 巴赫,迈克尔(编辑);达曼尼克,大卫(编辑);Kellendonk,Johannes(编辑);林茨,丹尼尔(编):数学准晶的光谱结构和拓扑方法。2017年10月1日至7日(2017年)研讨会摘要
  17. Bjørner,《Dines:清单领域:分析和描述》(2017)
  18. 布雷拉德,伊曼纽尔(编辑);霍奇曼,迈克尔(编辑版);工作会议:加法组合学,熵和分形几何。2017年10月8日至13日工作会议摘要
  19. 巴斯,塞缪尔R.(编辑);伊姆霍夫,罗莎莉(编辑);科伦巴赫,乌尔里希(编辑);数学逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要
  20. 科尔文,罗伯特J。;海斯,伊恩J。;Meinicke,Larissa A.:为具有并发性的广谱语言设计语义模型(2017)

1 2 ... 12 13 14 下一个