发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Types for atomicity

Types for atomicity

Flanagan, Cormac; Freund, Stephen N.; Lifshin, Marina; Qadeer, Shaz

期刊名称ACM Transactions on Programming Languages and Systems
作者Flanagan, Cormac; Freund, Stephen N.; Lifshin, Marina; Qadeer, Shaz
卷第30卷
期第4期
印刷ISSN0164-0925
文件大小966.49KB
发表时间2008-07-01
DOI10.1145/1377492.1377495
页码1-53

← 返回【学霸图书馆】主页