زبان Z - نسخه‌ی قابل چاپ

زبان Z - mehdigazvin - 24 مهر ۱۳۹۰ ۰۲:۱۸ ق.ظ سلام کسی هست در مورد زبان Z مقاله و منابعی داشته باشه.لطفا کمک کنید

زبان Z - mfXpert - 24 مهر ۱۳۹۰ ۰۵:۰۳ ب.ظ منظورتون همون زبان Z هست که تو توصیف نرم افزار کاربرد داره؟ اگه آره‌، میتونید از کتاب زیر استفاده کنید: Using Z:specification,refinement and proof نوشته woodcock و davies

زبان Z - admin - 24 مهر ۱۳۹۰ ۱۰:۱۳ ب.ظ این کتاب یه سری اسلایدها و منابع برخط هم داره. دکتر میریان توی شریف هم بر اساس همین کتاب using z درس فرمال رو به پیش می‌برند. کتاب خوب و سر راستیه.

زبان Z - Matin5723 - 25 مهر ۱۳۹۰ ۰۲:۱۸ ب.ظ سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر. سلام,جه جوری زبان و بخونم?از جه مرجعی?تشکر.

RE: زبان Z - mahshar_370 - 31 خرداد ۱۳۹۵ ۰۱:۵۹ ق.ظ سلام هیشکی یه پروژه ی تقریبا ساده نداره به این زبان که بده به من: