Александр
Заказчик

[no-member:pro]Александр[/no-member:pro]Александр

1 проектов
Завершён
Параметры проекта
Вариант сотрудничестваОдноразовый проект
Предоплатабез предоплат
Приём заявокзавершён
Описание проекта
Нужна помощь в написании диплома на тему "Исследование методов формальной верификации корректности программного обеспечения с использованием контрактного программирования". Нужно помочь разобраться в теме и сформировать основные идеи для программной реализации.
Автор проекта: Александр