- аксиоматическая спецификация
- axiomatic specification
Большой англо-русский и русско-английский словарь. 2001.
аксиоматическая спецификация
Смотреть что такое "аксиоматическая спецификация" в других словарях:
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
