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)