Доклады
Все доклады, связанные с меткой «дедуктивный синтез программ»
![]() ![]() | Авторы | Форма участия |
---|---|---|
Об автоматизации построения итерационных программ | Очная |