编辑配置文件(在新选项卡中打开) 罗莎玛丽·莫纳汉 合著者距离 作者ID: 摩纳罕·罗斯玛丽 发布日期: 罗莎玛丽·莫纳汉 已编制索引的文档: 3出版物自2017年起 1名编辑贡献 合著者: 3位合著者具有3联合出版物 69位Co-Co作者 合著者 1 单作者的 2 玛丽·法雷尔 2 詹姆斯·F·鲍尔(James F.Power)。 1 莫里斯·比克。 系列 1 计算的形式方面 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 4 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用4中的次3文件 引用人▼ 年份▼ Event-B机构。 Zbl 1496.68105号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 三 2017 Event-B机构的建筑规范。 Zbl 07639912号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 1 2022 Event-B机构的建筑规范。 Zbl 07639912号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 1 2022 Event-B机构。 Zbl 1496.68105号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 三 2017 全部的 前5名6位作者引用 2 罗尔夫·亨尼克 2 亚历山大·纳普 1 玛丽·法雷尔 1 亚历山大·马德拉 1 罗莎玛丽·莫纳汉 1 詹姆斯·F·鲍尔(James F.Power)。 3篇连载文章中引用 1 计算的形式方面 1 计算机科学中的逻辑方法 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文