Задание Дана спецификация программного обеспечения. Некоторые части описания пропущены, нужно дополнить эти недостающие части так чтобы в итоге спецификацию мужно было успешно анимировать для демонстраций ее соотвествий с программными требованиями. Необходимо знания формальных методов, Z-нотаций ...
Прочеенет заявок
Закрыт
13 лет назад