Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
لا توجد تقييمات بعد
Sep 27, 2010
·
الإنجليزية
·
غلاف ورقي
(273 صفحات)