تالار گفتمان مانشت

سلام دوستان محترم
کسی جزوه روش های صوری (درستیابی صوری نرم افزار) رو داره لطف بکنه و برام ایمیل کنه .
ممون میشم اگه مطلبی در این مورد داشته باشین و در اختیارم قرار بدین .
chghakbvd@yahoo.com

سلام
جزوه ی توصیف صوری و تولید برنامه ی صوری خیلی زیاد هست ولی جزوه ی درستیابی خیلی کمه.
اکثر کتابا یه فصل یا نهایتا دو فصل به درستیابی اختصاص دادن.
اینها یه سری لینک منابع درستیابی هستند.

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.



مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


جزوه ی دانشگاه بهشتی رو هم دارم ولی سرعت اینترنتم پایینه اگه تونستم قسمت درستیابی رو جدا می کنم آپ می کنم