×

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

通信安全组件系统的组装理论。 (英语) Zbl 1310.68057号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54847-5/pbk)。计算机科学课堂讲稿8415,145-160(2014)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

什么是多模型语言? (英语) Zbl 1253.68225号

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

结构化代数规范的证明系统:概述。 (英语) Zbl 1507.68202号

Chlebus,Bogdan S.(编辑)等人,《计算理论基础》。第11届国际研讨会,1997年9月1日至3日,波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1279, 19-37 (1997).
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段