Systems and Software Verification: Model-Checking Techniques and Tools
尚無評分
Dec 15, 2010
·
英語
·
平裝書
(202 頁數)