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

زبان 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 ۲ ۱,۵۰۷ ۰۸ مهر ۱۳۹۶ ۱۲:۳۷ ق.ظ
آخرین ارسال: azam2075
  دانلود رایگان کتاب «زبان عمومی دکتری زیر ذره بین» مرجع اصلی زبان کنکور دکتری generalenglish ۰ ۲,۱۰۸ ۱۸ اردیبهشت ۱۳۹۶ ۰۹:۴۳ ب.ظ
آخرین ارسال: generalenglish
  کدام زبان را برای یادگیری زبان دوم بعد از انگلیسی انتخاب کنم؟! 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 زینب۶۶ ۰ ۹۷۵ ۰۶ خرداد ۱۳۹۳ ۰۷:۰۲ ب.ظ
آخرین ارسال: زینب۶۶
  درخواست PDF زبان اصلی کتاب زبان های برنامه سازی پرات Morris ۵ ۳,۱۸۹ ۰۷ اردیبهشت ۱۳۹۳ ۰۸:۳۳ ب.ظ
آخرین ارسال: e2000

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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