تدوين زد
Sign in to saveformal specification language used for describing and modelling computing systems
Article · العربية
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
Abstract from DBpedia / Wikipedia · CC BY-SA