Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Marco Bernardo , Ferruccio Damiani , Reiner Haehnle
هنوز رتبه‌بندی نشده است
May 21, 2014 · انگلیسی · جلد نرم (351 صفحات)
به قفسه اضافه کنید

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


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

نقدها

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

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

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

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


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