Systems and Software Verification: Model-Checking Techniques and Tools
لا توجد تقييمات بعد
Dec 15, 2010
·
الإنجليزية
·
غلاف ورقي
(202 صفحات)