×

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

代数循环不变量的数据驱动方法。 (英语) Zbl 1381.68061号

Felleisen,Matthias(编辑)等人,《编程语言和系统》。2013年3月16日至24日,作为欧洲软件理论与实践联合会议的一部分,在意大利罗马举行了第22届欧洲编程研讨会(ESOP 2013)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37035-9/pbk)。计算机科学课堂讲稿7792574-592(2013)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段