زمان کنونی: ۰۹ آذر ۱۴۰۳, ۱۰:۲۵ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

درستیابی صوری نرم افزار

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

طبق قوانین باید عنوان متناسب با محتوای تاپیک باشه لطف کنید عنوان رو اصلاح بفرمایید تا تاپیکتون حذف نشه.

یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
ارسال:
۰۴ فروردین ۱۳۹۳, ۰۴:۳۹ ب.ظ
درستیابی صوری نرم افزار
سلام
جزوه ی توصیف صوری و تولید برنامه ی صوری خیلی زیاد هست ولی جزوه ی درستیابی خیلی کمه.
اکثر کتابا یه فصل یا نهایتا دو فصل به درستیابی اختصاص دادن.
اینها یه سری لینک منابع درستیابی هستند.

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



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


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


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  علوم کامپیوتر شریف یا نرم افزار تهران؟ ۴L1R3Z4 ۴۴ ۳۲,۸۶۶ ۰۶ شهریور ۱۴۰۲ ۰۸:۱۲ ب.ظ
آخرین ارسال: moeinbahari
  جزوه خلاصه نکات مهم فصول ابتدایی درس مهندسی نرم افزار Happiness.72 ۱ ۳,۸۴۱ ۱۳ خرداد ۱۴۰۱ ۰۶:۲۸ ب.ظ
آخرین ارسال: M o h m m @ d
  مهندسی نرم افزار rh1995 ۰ ۱,۶۱۳ ۱۰ بهمن ۱۴۰۰ ۰۷:۰۹ ب.ظ
آخرین ارسال: rh1995
  مهندسی نرم افزار rh1995 ۰ ۱,۴۱۷ ۱۰ بهمن ۱۴۰۰ ۰۷:۰۸ ب.ظ
آخرین ارسال: rh1995
  آزمون دکتری نرم افزار و الگوریتم ۱۴۰۰ Seyyedab ۴۶ ۲۲,۴۲۵ ۰۹ مهر ۱۴۰۰ ۰۵:۳۷ ب.ظ
آخرین ارسال: Seyyedab
  فیلم های مهندسی نرم افزار خلیلی فر osouly ۰ ۲,۱۶۷ ۰۶ اردیبهشت ۱۴۰۰ ۰۴:۴۴ ب.ظ
آخرین ارسال: osouly
  کارنامه نهایی ازمون دکتری داخل سال ۱۳۹۲-گرایش نرم افزار انرژی مثبت ۶ ۱۰,۰۸۱ ۱۷ بهمن ۱۳۹۹ ۰۲:۲۷ ق.ظ
آخرین ارسال: hmaryam567
Heart نرم افزار رها بختیاری ۰ ۳,۲۸۶ ۰۵ بهمن ۱۳۹۹ ۰۲:۵۱ ب.ظ
آخرین ارسال: رها بختیاری
  متن به هم ریخته در نرم افزار Notepad HAMID3F ۱۵ ۲۳,۰۴۵ ۱۷ شهریور ۱۳۹۹ ۰۸:۲۶ ق.ظ
آخرین ارسال: rezasedghi100
  آزمون دکتری نرم افزار و الگوریتم ۹۹ Seyyedab ۱۱ ۶,۸۲۷ ۰۲ شهریور ۱۳۹۹ ۱۱:۰۳ ق.ظ
آخرین ارسال: Seyyedab

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close