×

找到7个文档（结果1-7）

最新的 引文 关联
埃利尼·比拉；西蒙·多尔蒂；布里杰什·多戈尔；约翰·德里克；格哈德·谢尔霍恩；海克·卫尔海姆

定义和验证持久不透明度：持久软件事务内存的正确性。 （英语） Zbl 1511.68072号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12136, 39-58 (2020).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{E.Bila}等人，Lect。票据计算。科学。12136，39-58（2020；Zbl 1511.68072）
全文： 内政部 arXiv公司
西蒙·多尔蒂；布里杰什·多戈尔；约翰·德里克；格哈德·谢尔霍恩；海克·卫尔海姆

证明悲观STM的不透明度。 （英语） Zbl 1432.68070号

Fatourou，Panagiota（编辑）等人，第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13-16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70，第35条，第17页。(2017).
MSC公司：68号30 68甲19 65年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.Doherty}等人，LIPIcs——莱布尼茨国际程序。通知。70，第35条，第17页（2017；Zbl 1432.68070）
全文： 内政部
霍华德·鲍曼（编辑）；约翰·德里克（编辑）

分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） Zbl 1233.68011号

剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).
MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
约翰·德里克；海克·卫尔海姆

包含多个视图的模型转换。 （英语） Zbl 1236.68037号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2006年7月5日至8日在爱沙尼亚库雷萨雷举行的2006年AMAST第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35633-2/pbk）。计算机科学讲稿4019，111-126（2006）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Derrick}和\textit{H.Wehrheim}，莱克特。票据计算。科学。4019、111-126（2006年；Zbl 1236.68037）
全文： 内政部
霍华德·鲍曼（编辑）；约翰·德里克（编辑）

分布式处理的形式化方法。面向对象方法综述。 （英语） 兹比尔1233.68012

剑桥：剑桥大学出版社（ISBN 0-521-77184-6/hbk）。x、 480页。(2001).
MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（2001；Zbl 1233.68012）

筛选结果依据…

文档类型

全部的 前5名

作者

体积

全部的 前5名

出版年份

主字段

全部的 前3名

软件