Z

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献286篇,1标准件)

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

1 2 三 ... 13 14 15 下一个

  1. 巴克斯特，詹姆斯；里贝罗，佩德罗；安娜州卡瓦尔坎蒂：在\textittock CSP（2022年）中的合理推理
  2. 阿伊特阿默尔，亚明；拉劳，Régine；梅里，多米尼克；Singh，Neeraj Kumar:在基于状态的形式化方法中利用领域知识（2021）
  3. 班纳，理查德；朱惠标：现代连续抽象状态机（2021）
  4. 克里斯蒂娅，马克西米利亚诺；Rossi，Gianfranco:限制内涵集的自动推理（2021）
  5. 克里斯蒂娅，马克西米利亚诺；Rossi，Gianfranco:Bell LaPadula安全属性的自动证明（2021年）
  6. 克里斯蒂娅，马克西米利亚诺；Rossi，Gianfranco:Tokeneer ID站规范的自动验证原型（2021）
  7. 福斯特，西蒙；尼莫奇、雅库布；格雷舍尔，马里奥；魏然；Kelly，Tim:与Isabelle/SACM将正式证据整合到统一保证案例中（2021年）
  8. 福斯特，西蒙；叶康峰；安娜，卡瓦尔康蒂；Jim Woodcock:通过计算自动验证反应式和并发程序（2021）
  9. 杰克逊，马赛尔；斯托克斯，蒂姆：覆盖和更新（2021）
  10. Leuschel，Michael:发现差异：B和Event-B之间的详细比较（2021）
  11. 福斯特，西蒙；安娜，卡瓦尔康蒂；加纳姆，塞缪尔；伍德考克，吉姆；Zeyda，Frank:反应式设计合同的统一理论（2020）
  12. Kahl，Wolfram:教学工具中的计算关系代数证明（2020）
  13. 阿依达拉合伊；哈默勒，拉扎尔；格雷特，穆罕默德；基于chirayeb的云计算验证方法
  14. 阿普特，Krzysztof R。；奥尔德罗，恩斯特-吕迪格：霍尔逻辑的五十年（2019）
  15. 林玉辉；邦迪，艾伦；格罗夫，古德蒙德；Maclean，Ewen：通过波纹和校样修补自动化Event-B不变性证明（2019）
  16. 里贝罗，佩德罗；安娜州卡瓦尔坎蒂：通过UTP实现CSP的天使工艺（2019年）
  17. 巴瑟，托比亚斯（编辑）；克劳斯，亨宁（编辑）；韦斯纳，斯托亚诺斯卡（编辑）：小型研讨会：同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要（2018年）
  18. 贝赛，一月；陈子春；杜登赫夫纳，安德烈；杜德尔，鲍里斯；德利古罗，乌戈；Rehof，Jakob:基于交叉口类型的混合合成（2018）
  19. 布拉特卡，瓦斯科（编辑）；唐尼，罗德尼G.（编辑）；奈特，茱莉亚·F（编辑）；勒普，斯特芬（编辑）：可计算性理论。2018年1月7日至13日（2018年）研讨会摘要
  20. Joosten，Sebastiaan J.C.：通过图饱和寻找模型（2018）

1 2 三 ... 13 14 15 下一个