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