×

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

使用理论形态来实现形式化方法工具。 (英语) Zbl 1023.68654号

Geuvers,Herman(编辑)等人,《证明和程序的类型》。2002年4月24日至28日,荷兰卑尔根达尔,TYPES 2002国际研讨会。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2646, 59-77 (2003).
MSC公司:第68页第15页 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 链接

无限状态系统的等价性检验:技术和结果。 (英语) 兹比尔1278.68218

Grosky,William I.(编辑)等人,SOFSEM 2002:信息学理论与实践。2002年11月22日至29日,捷克共和国米洛维,第29届信息学理论和实践趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00145-X/pbk)。计算机科学课堂讲稿2540,41-73(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段