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

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

Higher-order linearisability

Higher-order linearisability

Murawski, Andrzej S.; Tzevelekos, Nikos

期刊名称Journal of Logical and Algebraic Methods in Programming
作者Murawski, Andrzej S.; Tzevelekos, Nikos
卷第104卷
印刷ISSN2352-2208
文件大小993.20KB
发表时间2019-04
DOI10.1016/j.jlamp.2019.01.002
页码86-116

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