×

兹马思-数学第一资源

独立类型编程中的安全类型编程。(英语) 兹布1323.68220
2010年9月27日至29日,美国马里兰州巴尔的摩市第15届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN公告45,第9号,169-180(2010年)。

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68N15 程序设计语言理论
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部