زمان کنونی: ۱۰ بهمن ۱۴۰۴, ۰۲:۰۹ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن میتوانید عضو شوید. گزینههای شما (ورود — ثبت نام)
سلام دوستان محترم
کسی جزوه روش های صوری (درستیابی صوری نرم افزار) رو داره لطف بکنه و برام ایمیل کنه .
ممون میشم اگه مطلبی در این مورد داشته باشین و در اختیارم قرار بدین .
chghakbvd@yahoo.com
انرژی مثبت، در تاریخ ۳۰ بهمن ۱۳۹۲ ۱۱:۴۵ ق.ظ برای این مطلب یک پانوشت گذاشته است:
طبق قوانین باید عنوان متناسب با محتوای تاپیک باشه لطف کنید عنوان رو اصلاح بفرمایید تا تاپیکتون حذف نشه.
سلام
جزوه ی توصیف صوری و تولید برنامه ی صوری خیلی زیاد هست ولی جزوه ی درستیابی خیلی کمه.
اکثر کتابا یه فصل یا نهایتا دو فصل به درستیابی اختصاص دادن.
اینها یه سری لینک منابع درستیابی هستند.
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
جزوه ی دانشگاه بهشتی رو هم دارم ولی سرعت اینترنتم پایینه اگه تونستم قسمت درستیابی رو جدا می کنم آپ می کنم
