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

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

Herding Cats

Herding Cats

Alglave, Jade; Maranget, Luc; Tautschnig, Michael

期刊名称ACM Transactions on Programming Languages and Systems
作者Alglave, Jade; Maranget, Luc; Tautschnig, Michael
卷第36卷
期第2期
印刷ISSN0164-0925
文件大小3464.32KB
发表时间2014-07-01
DOI10.1145/2627752
页码1-74

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