Diclib.com
Diccionario en línea


Qué (quién) es Z-нотация - definición


Z-нотация      
Z-нота́ция (, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.