×

找到11个文档(结果1-11)

任意机构中本体的模块化。 (英语) Zbl 1321.68418号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,361-379(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ASL的基础遗产。 (英语) Zbl 1454.68068号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 253-272 (2015).
MSC公司:68问题65 68-03
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式规范的异构逻辑环境。 (英语) Zbl 1253.68231号

Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,266-289(2009)。
MSC公司:68问题65 03G30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从代数规范走向程序的形式化开发:模型理论基础。 (英语) Zbl 1425.68082号

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 656-671 (1992).
MSC公司:68号30 68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件