Systems and Software Verification: Model-Checking Techniques and Tools
还没有评分
Dec 15, 2010
·
英语
·
平装书
(202 页数)