انجمنصفحه اولجستجوی انجمن

[mhma_1367]

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

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

[a.kam]

منبع اصلی درس تو این سایت هست به همراه کتاب و اسلاید ها حتی تمارین

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

[mhma_1367]

(۱۳ مهر ۱۳۹۳ ۰۱:۰۷ ب.ظ)a.kam نوشته شده توسط:  منبع اصلی درس تو این سایت هست به همراه کتاب و اسلاید ها حتی تمارین

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

مچکرم از پاسخ سریعتون
کتاب ترجمه شده ای برای این درس نیست.

[unknown!]

(۱۳ مهر ۱۳۹۳ ۰۱:۰۷ ب.ظ)a.kam نوشته شده توسط:  منبع اصلی درس تو این سایت هست به همراه کتاب و اسلاید ها حتی تمارین

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

ممنون بابت معرفی سایت
من نتونستم solution ها رو دانلود کنم user و pass میخواد
میشه راهنمایی کنید.

[hermit]

سلام
من باید در مورد Formal Method Based Software Development ارا ئه بدم
و بخشی از سیستم ثبت نام دانشگاه رو با زبان z پیاده سازی کنم
از شما سپاسگزار خواهم بود اگر بتونید بهم کمک کنید

[mhma_1367]

(۰۴ دى ۱۳۹۳ ۰۴:۵۲ ب.ظ)hermit نوشته شده توسط:  سلام
من باید در مورد Formal Method Based Software Development ارا ئه بدم
و بخشی از سیستم ثبت نام دانشگاه رو با زبان z پیاده سازی کنم
از شما سپاسگزار خواهم بود اگر بتونید بهم کمک کنید