Вы здесь

Главная

автоматическое программирование

Связанные издания:

NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
Автоматизация программирования: Труды семинара, вып. 1: Киев, 1969
Некоторые вопросы оптимизации в автоматическом программировании