×

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

最新的 引文 关联
埃琳娜·贾奇诺;德高，施蒂恩;科西莫·拉内夫;贝鲁奥斯·诺巴赫特

静态和动态可验证的SLA指标。 （英语） Zbl 1475.68031号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 211-225 (2016).
MSC公司：68英里11 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{E.Giachino}等人，Lect。注释计算。科学。9660、211-225（2016；Zbl 1475.68031）
全文： 内政部 哈尔
科西莫·拉内夫（编辑）;苏建文（编辑）

Web服务和形式化方法。2009年9月4日至5日在意大利博洛尼亚举行的WS-FM 2009第六届国际研讨会。修订了选定的论文。 （英语） Zbl 1334.68019号

计算机科学课堂讲稿6194.柏林：施普林格出版社（ISBN 978-3-642-14457-8/pbk）。ix，197页。(2010).
MSC公司：68-06 68英里11 00时25分
PDF格式BibTeX公司 XML格式引用
\textit{C.Laneve}（编辑）和\textit{J.Su}（主编），Web服务和形式化方法。2009年9月4日至5日，第六届国际研讨会，WS-FM，意大利博洛尼亚。修订了选定的论文。柏林：施普林格出版社（2010；Zbl 1334.68019）
全文： 内政部
萨缪尔·卡皮内蒂;科西莫·拉内夫

一种粗鲁的web服务合同语言。 （英语） Zbl 1316.68030号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，147-152（2006）。
MSC公司：68英里11 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Carpineti}和\textit{C.Laneve}，电子。注释Theor。计算。科学。162、147--152（2006年；Zbl 1316.68030）
全文： 内政部
萨穆埃勒，卡皮涅蒂;科西莫·拉内夫

web服务的基本契约语言。 （英语） Zbl 1178.68122号

Peter Sestoft（编辑），《编程语言和系统》。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。计算机科学课堂讲稿3924197-213（2006）。
MSC公司：68甲15 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{S.Carpineti}和\textit{C.Laneve}，莱克特。注释计算。科学。3924197-213（2006年；兹bl 1178.68122）
全文： 内政部
劳拉·博奇;科西莫·拉内夫;吉安路易吉·扎瓦塔罗

长时间运行事务的微积分。 （英语） Zbl 1253.68056号

Najm，Elie（编辑）等，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20491-1/pbk）。莱克特。注释计算。科学。2884, 124-138 (2003).
MSC公司：64岁以下 68英里11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，Lect。注释计算。科学。2884124--138（2003年；Zbl 1253.68056）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件