Вычислительная лаборатория Оксфордского университета

Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем.  Жан-Раймон Абриал разработал Z-нотацию в 1974 году […]