یک مقاله در مورد موضوع نام‌برده شده بنویس

موضوع: نشانه‌گذاری Z
مقاله:
نشانه‌گذاری z یک زبان مشخصات رسمی است که برای توصیف و مدل سازی سیستم‌های محاسباتی استفاده می‌شود . هدف آن توصیف مشخصات واضح از برنامه‌های کامپیوتری و به‌طور کلی سیستم‌های مبتنی بر کامپیوتر است .