![](/statics/img/blank.png)
ER Model Transformation
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 3.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О ER Model Transformation
Сущности и отношения определяются как типы, определяемые пользователем. Мы будем использовать PVS доказывающий инструмент. Проверка включает в себя доказательство условий правильности типа, которые генерируются автоматически проверкой типа.