×

兹马思-数学第一资源

Paralocks、基于角色的信息流控制等。(英语) Zbl 1312.68054
第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-60558-479-9)。431-444(2010年)。

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68M07型 计算机体系结构的数学问题
软件:
典范
PDF格式 双歧杆菌 XML 引用
全文: 内政部