颁布单位：[Stellenbosch University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[["Computer, programs, --, Verification",, "Computer, software, --, Verification",, "Computer, software, --, Reliability",, "Computer, simulation",, "Programming, languages, (Electronic, computers)",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science"]]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[Computer, science, Applied, sciences, Distributed, multithreading, Global, address, space, languages, Parallel, programming, Programmability]

预览  |  原文链接    [浏览：0 下载：0]