Вернуться к Подробностям о статье Аксиоматический метод доказательства соответствия формализованных в различных моделях данных запросов Скачать Скачать PDF