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

زبان Z

ارسال:
۲۴ مهر ۱۳۹۰, ۰۲:۱۸ ق.ظ
زبان Z
سلام
کسی هست در مورد زبان Z مقاله و منابعی داشته باشه.لطفا کمک کنید
۰
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
ارسال:
۲۴ مهر ۱۳۹۰, ۰۵:۰۳ ب.ظ
زبان Z
منظورتون همون زبان Z هست که تو توصیف نرم افزار کاربرد داره؟
اگه آره‌، میتونید از کتاب زیر استفاده کنید:
Using Z:specification,refinement and proof
نوشته woodcock و davies

One who is raised by sword can't be beaten. One who is toughened by fire can't be burned
۱
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
 سپاس‌گزاری شده توسط: luna , mehdigazvin
ارسال:
۲۴ مهر ۱۳۹۰, ۱۰:۱۳ ب.ظ
زبان Z
این کتاب یه سری اسلایدها و منابع برخط هم داره. دکتر میریان توی شریف هم بر اساس همین کتاب using z درس فرمال رو به پیش می‌برند.
کتاب خوب و سر راستیه.

من برم هر جای دنیا قلب من دست تو گیره
۰
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
 سپاس‌گزاری شده توسط: mehdigazvin
ارسال:
۲۵ مهر ۱۳۹۰, ۰۲:۱۸ ب.ظ (آخرین ویرایش در این ارسال: ۲۵ مهر ۱۳۹۰ ۰۲:۱۸ ب.ظ، توسط Matin5723.)
زبان Z
سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر.
سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر.
۰
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
ارسال:
۳۱ خرداد ۱۳۹۵, ۰۱:۵۹ ق.ظ
RE: زبان Z
سلام

هیشکی یه پروژه ی تقریبا ساده نداره به این زبان که بده به من:Sad

دارم عادت میکنم به نخواستن خواسته هایم...
به گمانم این آغاز بی تفاوتی ست...
و من چه میترسیدم از چنین روزی!
کاش زمستان معجزه ای کند
مثلا یک روز صبح با صدای باران بیدار شوم و کنار خدا نشسته باشم حوالی آسمانها
و دیگر هیچ هراسم نباشد از این عادتهای زمینی...
۰
۰
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۴۳۹ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  دانلود رایگان کتاب «زبان عمومی دکتری زیر ذره بین» مرجع اصلی زبان کنکور دکتری generalenglish ۰ ۳,۶۹۷ ۱۸ اردیبهشت ۱۳۹۶ ۰۹:۴۳ ب.ظ
آخرین ارسال: generalenglish
  انتگرال zdz روی مسیر نیم دایره ای؟ sipser ۱ ۳,۲۰۲ ۱۰ خرداد ۱۳۹۵ ۰۷:۱۶ ب.ظ
آخرین ارسال: Iranian Wizard
  کدام زبان را برای یادگیری زبان دوم بعد از انگلیسی انتخاب کنم؟! eng.ma30 ۸ ۶,۸۴۲ ۲۶ مهر ۱۳۹۴ ۰۳:۳۷ ب.ظ
آخرین ارسال: eng.ma30
  کلاس زبان یا روش دیگه برای تقویت زبان (همه نظر بخصوص Speaking) mostafa2012 ۲ ۳,۸۲۶ ۱۴ مهر ۱۳۹۴ ۰۳:۱۰ ب.ظ
آخرین ارسال: crevice
  تشخیص زبان منظم و زبان مستقل از متن monmon123 ۹ ۱۳,۳۷۴ ۱۰ مهر ۱۳۹۳ ۰۳:۳۴ ب.ظ
آخرین ارسال: fatemeh69
  زبان منظم - رشته ی تولیدی توسط زبان زیر چیست؟ sipser ۶ ۴,۴۲۰ ۲۲ خرداد ۱۳۹۳ ۰۷:۲۱ ب.ظ
آخرین ارسال: Jooybari
  زبان منظم۲ - رشته ی تولیدی توسط زبان [tex](b+ab)^*(a+ab)^*[/tex] چیست؟ sipser ۱ ۲,۰۱۲ ۱۲ خرداد ۱۳۹۳ ۰۴:۴۴ ب.ظ
آخرین ارسال: Jooybari
  زبان DSL در زبان سطح بالا HL زینب۶۶ ۱ ۱,۷۴۸ ۱۰ خرداد ۱۳۹۳ ۰۶:۱۶ ق.ظ
آخرین ارسال: Mohammad-A
  زبان DSL در زبان سطح بالا HL زینب۶۶ ۰ ۱,۸۳۴ ۰۶ خرداد ۱۳۹۳ ۰۷:۰۲ ب.ظ
آخرین ارسال: زینب۶۶

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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