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

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