×

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

CaIT演算的表示和代数语义。 (英语) Zbl 07719829号

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 132-150 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于UTP的MCA ARMv8体系结构的跟踪语义和代数法则。 (英语) Zbl 1498.68018号

秦胜超(主编)等,可靠软件工程。理论、工具和应用。第七届国际研讨会,SETTA 2021,中国北京,2021年11月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13071, 81-101 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率定时共享变量语言的表示语义。 (英语) Zbl 1452.68062号

Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 224-247 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向网络物理系统的建模语言。 (英语) Zbl 1390.68167号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。《计算机科学讲义》8051、394-411(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件