×

兹马思-数学第一资源

C-SHORe:高阶验证的可折叠方法。(英语) Zbl 1323.68364号
2013年9月25日至27日,美国马萨诸塞州波士顿,第18届ACM SIGPLAN函数式编程国际会议记录,ICFP'13。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN公告48,9号,13-24(2013年)。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68Q45号 形式语言与自动机
PDF格式 双歧杆菌 XML 引用
全文: 内政部