زمان کنونی: ۱۸ شهریور ۱۴۰۳, ۰۵:۲۸ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن میتوانید عضو شوید. گزینههای شما (ورود — ثبت نام)
منظورتون همون زبان 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
هیشکی یه پروژه ی تقریبا ساده نداره به این زبان که بده به من:
دارم عادت میکنم به نخواستن خواسته هایم...
به گمانم این آغاز بی تفاوتی ست...
و من چه میترسیدم از چنین روزی!
کاش زمستان معجزه ای کند
مثلا یک روز صبح با صدای باران بیدار شوم و کنار خدا نشسته باشم حوالی آسمانها
و دیگر هیچ هراسم نباشد از این عادتهای زمینی...