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

[mehdigazvin]

سلام
کسی هست در مورد زبان Z مقاله و منابعی داشته باشه.لطفا کمک کنید

[mfXpert]

منظورتون همون زبان Z هست که تو توصیف نرم افزار کاربرد داره؟
اگه آره‌، میتونید از کتاب زیر استفاده کنید:
Using Z:specification,refinement and proof
نوشته woodcock و davies

[admin]

این کتاب یه سری اسلایدها و منابع برخط هم داره. دکتر میریان توی شریف هم بر اساس همین کتاب using z درس فرمال رو به پیش می‌برند.
کتاب خوب و سر راستیه.

[Matin5723]

سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر.

---

سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر.

[mahshar_370]

سلام

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