formal specification language used for describing and modelling computing systems
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).