在您的搜寻 主题建议
搜索替代词:
functions computational » functions computation, function computation, directions computational
programming validating » programming evaluating, programming writing, programming balancing
functions conditional » functions functional, functional conditioning, functions occupational
validating process » revalidating process, validation process, evaluating process
process trust » processes trust, press trust, process test
1
封面图片
出版 2008
书本目录: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索