Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol , Michael Weber
هنوز رتبه‌بندی نشده است
Sep 27, 2010 · انگلیسی · جلد نرم (273 صفحات)
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب

نقدها

هنوز نظری ثبت نشده است

اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک می‌گذارید

برای بررسی وارد شوید
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب